
Adrien Le Coënt
21
Documents
Publications
Publications
Guaranteed master for interval-based cosimulationSoftware and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Article dans une revue
hal-03158710
v1
|
|
|
Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler methodNonlinear Analysis: Hybrid Systems, 2020, 36 (100860), ⟨10.1016/j.nahs.2020.100860⟩
Article dans une revue
hal-02987885
v1
|
|
An improved algorithm for the control synthesis of nonlinear sampled switched systemsFormal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
Article dans une revue
hal-01399337
v2
|
|
Compositional synthesis of state-dependent switching controlTheoretical Computer Science, 2018, 750, pp.53-68. ⟨10.1016/j.tcs.2018.01.021⟩
Article dans une revue
hal-01860379
v1
|
|
Distributed Synthesis of State-Dependent Switching ControlLecture Notes in Computer Science, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. ⟨10.1007/978-3-319-45994-3_9⟩
Article dans une revue
hal-01295738
v1
|
|
Bayesian Networks as Approximations of Biochemical NetworksEuropean Workshop on Performance Engineering, Jun 2023, Florence, Italy. pp.216-233, ⟨10.1007/978-3-031-43185-2_15⟩
Communication dans un congrès
hal-04235150
v1
|
|
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18,, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.044⟩
Communication dans un congrès
hal-01959845
v1
|
Guaranteed stability control synthesis of coupled ODE-PDE switched systemsECCOMAS MSF 2017, 3rd International Conference on Multiscale Computational Methods for Solids and Fluids, Sep 2017, Ljubljana, Slovenia
Communication dans un congrès
hal-01693597
v1
|
|
Guaranteed control synthesis of nonlinear switched systems using Euler method3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Apr 2017, Uppsala, Sweden
Communication dans un congrès
hal-01583164
v1
|
|
Guaranteed control of switched control systems using model order reduction and state-space bisection2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015), Apr 2015, Londres, United Kingdom
Communication dans un congrès
hal-01588728
v1
|
|
|
Contrôle garanti de systèmes quantifiés par décomposition de l'espace des états d'un modèle différentiel réduit12e colloque national en calcul des structures, CSMA, May 2015, Giens, France
Communication dans un congrès
hal-01400456
v1
|
An adaptation of the tool MINIMATOR for the control of PDEs using interpolating model order reduction techniques2nd International Workshop on Simulation at the System Level, Oct 2014, Cargèse, France
Communication dans un congrès
hal-01588734
v1
|
|
Distributed control synthesis using Euler's methodInternational Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Chapitre d'ouvrage
hal-01593225
v1
|
|
Formal stabilization of a coupled ODE-PDE switched system2024
Pré-publication, Document de travail
hal-04712017
v1
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020
Pré-publication, Document de travail
hal-02505237
v1
|
|
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction2019
Pré-publication, Document de travail
hal-02193769
v3
|
|
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants2019
Pré-publication, Document de travail
hal-02066896
v1
|
|
Guaranteed control synthesis for continuous systems in Uppaal Tiga2019
Pré-publication, Document de travail
hal-02076824
v1
|
|
Controlled Recurrence of a Biped with Torso2019
Pré-publication, Document de travail
hal-02076800
v1
|
|
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method2017
Pré-publication, Document de travail
hal-01670579
v1
|
|
Guaranteed control synthesis for switched space-time dynamical systemsGeneral Mathematics [math.GM]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN039⟩
Thèse
tel-01625363
v2
|
Chargement...
Chargement...