Adrien Le Coënt

Publications

Article dans une revue (5)

Guaranteed master for interval-based cosimulation Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩ Article dans une revue hal-03158710v1
Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method Adrien Le Coënt,Laurent Fribourg,Jonathan Vacher,Rafael Wisniewski Nonlinear Analysis: Hybrid Systems, 2020, 36 (100860), ⟨10.1016/j.nahs.2020.100860⟩ Article dans une revue hal-02987885v1
An improved algorithm for the control synthesis of nonlinear sampled switched systems Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Laurent Fribourg Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩ Article dans une revue hal-01399337v2
Compositional synthesis of state-dependent switching control Adrien Le Coënt,Laurent Fribourg,Nicolas Markey,Florian de Vuyst,Ludovic Chamoin Theoretical Computer Science, 2018, 750, pp.53-68. ⟨10.1016/j.tcs.2018.01.021⟩ Article dans une revue hal-01860379v1
Distributed Synthesis of State-Dependent Switching Control Adrien Le Coënt,Laurent Fribourg,Nicolas Markey,Florian de Vuyst,Ludovic Chamoin Lecture 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-01295738v1

Communication dans un congrès (8)

Sampling methods for probabilistic approximations of ODEs Olivier Bouët-Willaumez,Adrien Le Coënt,Benoît Barbot,Nihal Pekergin ROADEF 2026, 27ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT), Feb 2026, Tours, France Communication dans un congrès hal-05440887v2
Bayesian Networks as Approximations of Biochemical Networks Adrien Le Coënt,Benoît Barbot,Nihal Pekergin,Cüneyt Güzeliş European 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-04235150v1
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. Adrien Le Coënt,Laurent Fribourg,Jonathan Vacher 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-01959845v1
Guaranteed stability control synthesis of coupled ODE-PDE switched systems Adrien Le Coënt,Florian de Vuyst,Ludovic Chamoin,Laurent Fribourg ECCOMAS MSF 2017, 3rd International Conference on Multiscale Computational Methods for Solids and Fluids, Sep 2017, Ljubljana, Slovenia Communication dans un congrès hal-01693597v1
Guaranteed control synthesis of nonlinear switched systems using Euler method Adrien Le Coënt,Florian de Vuyst,Ludovic Chamoin,Laurent Fribourg 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Apr 2017, Uppsala, Sweden Communication dans un congrès hal-01583164v1
Guaranteed control of switched control systems using model order reduction and state-space bisection Adrien Le Coënt,Florian de Vuyst,Christian Rey,Ludovic Chamoin,Laurent Fribourg 2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015), Apr 2015, Londres, United Kingdom Communication dans un congrès hal-01588728v1
Contrôle garanti de systèmes quantifiés par décomposition de l'espace des états d'un modèle différentiel réduit Adrien Le Coënt,Florian de Vuyst,Christian Rey,Ludovic Chamoin,Laurent Fribourg 12e colloque national en calcul des structures, CSMA, May 2015, Giens, France Communication dans un congrès hal-01400456v1
An adaptation of the tool MINIMATOR for the control of PDEs using interpolating model order reduction techniques Adrien Le Coënt,Florian de Vuyst,Christian Rey,Ludovic Chamoin,Laurent Fribourg 2nd International Workshop on Simulation at the System Level, Oct 2014, Cargèse, France Communication dans un congrès hal-01588734v1

Chapitre d'ouvrage (1)

Distributed control synthesis using Euler's method Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Laurent Fribourg,Florian de Vuystet al. International 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-01593225v1

Pré-publication, Document de travail (10)

Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations Yahia Bahloul,Adrien Le Coënt,Benoît Barbot,Nihal Pekergin 2025 Pré-publication, Document de travail hal-05362437v1
Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks Olivier Bouët-Willaumez,Adrien Le Coënt,Benoît Barbot,Nihal Pekergin 2025 Pré-publication, Document de travail (preprint/prepublication) hal-05104966v1
Towards an efficient model reduction for parameter estimation of biochemical networks Adrien Le Coënt,Benoît Barbot,Nihal Pekergin 2024 Pré-publication, Document de travail hal-05441726v1
Formal stabilization of a coupled ODE-PDE switched system Adrien Le Coënt,Jonathan Vacher,Kenan Kergrene 2024 Pré-publication, Document de travail hal-04712017v1
Guaranteed cosimulation of Cyber-Physical Systems Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot 2020 Pré-publication, Document de travail hal-02505237v1
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction Adrien Le Coënt,Laurent Fribourg 2019 Pré-publication, Document de travail hal-02193769v3
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants Adrien Le Coënt,Laurent Fribourg 2019 Pré-publication, Document de travail hal-02066896v1
Controlled Recurrence of a Biped with Torso Adrien Le Coënt,Laurent Fribourg 2019 Pré-publication, Document de travail hal-02076800v1
Guaranteed control synthesis for continuous systems in Uppaal Tiga Kim G. Larsen,Adrien Le Coënt,Marius Mikučionis,Jakob Haahr Taankvist 2019 Pré-publication, Document de travail hal-02076824v1
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method Adrien Le Coënt,L Fribourg,J Vacher 2017 Pré-publication, Document de travail hal-01670579v1

Thèse (1)

Guaranteed control synthesis for switched space-time dynamical systems Adrien Le Coënt General Mathematics [math.GM]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN039⟩ Thèse tel-01625363v2