Adrien Le Coënt

Associate Professor

LACL, Université Paris-Est Créteil

Research Activities

I am currently an associate professor at Université Paris-Est Créteil where I teach computer science in the Sciences and Technology Faculty as well as the Health Faculty. I do research on guaranteed simulation and verification of cyber-physical systems at the LACL laboratory.

Formerly, I was a post-doctoral researcher at ENSTA Paris, in the Hybrid Systems Semantics (SSH) group of the Computer Science and Systems Engineering Laboratory (U2IS), working on guaranteed co-simulation of hybrid dynamical systems under the supervision of Alexandre Chapoutot and Julien Alexandre dit Sandretto.

Before that, I was a post-doctoral researcher at the Department of Computer Science of Aalborg University, in the Distributed, Embedded and Intelligent Systems unit (DEIS) under the supervision of Kim G. Larsen. I worked on guaranteed control synthesis for control systems using timed automata abstractions.

Before that, I worked as a PhD student at CMLA, ENS Paris-Saclay under the supervision of Florian de Vuyst, Ludovic Chamoin, and Laurent Fribourg [manuscript] [slides].
English title: Guaranteed Control Synthesis for Switched Space-Time Dynamical Systems
French title: Synthèse de Contrôle Garanti pour des Systèmes Dynamiques Spatio-Temporels à Commutation

Main Research Fields

  • Control of switched systems
  • Symbolic methods for control synthesis
  • Partial differential equations
  • Model order reduction
  • Distributed (compositional) control synthesis
  • Guaranteed simulation of dynamical systems

Conference & Workshop Papers

A sensitivity-driven sampling reduction method for probabilistic approximations of ODEs
O. Bouët-Willaumez, A. Le Coënt, B. Barbot, N. Pekergin
40th International Conference on Modelling and Simulation (ECMS), 2026. [preprint]
Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations
Y. Bahloul, A. Le Coënt, B. Barbot, N. Pekergin
International Conference on Performance Evaluation Methodologies and Tools (EPEW), 2026. [preprint]
Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks
O. Bouët-Willaumez, A. Le Coënt, B. Barbot, N. Pekergin
International Conference on Quantitative Evaluation of Systems and Formal Methods (QEST/FORMATS), 2025. [preprint]
Towards an efficient model reduction for parameter estimation of biochemical networks
A. Le Coënt, B. Barbot, N. Pekergin
17th EAI International Conference on Performance Evaluation Methodologies and Tools (ValueTools), 2024. [preprint]
Formal stabilization of a coupled ODE-PDE switched system
A. Le Coënt, J. Vacher, K. Kergrene
63rd Conference on Decision and Control (CDC), 2024. [preprint]
Bayesian Networks as Approximations of Biochemical Networks
A. Le Coënt, B. Barbot, N. Pekergin, C. Güzeliş
European Workshop on Performance Engineering (EPEW), 2023. [preprint]
Cosimulation-Based Control Synthesis
A. Le Coënt, J. A. dit Sandretto, A. Chapoutot
Cosim-CPS workshop, International Conference on Software Engineering and Formal Methods, 2020.
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants
A. Le Coënt, L. Fribourg
58th IEEE Conference on Decision and Control (CDC'19), 2019. [preprint]
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction
A. Le Coënt, L. Fribourg
Model-Based Design of Cyber Physical Systems (CyPhy'19), 2019. [preprint]
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
P. Ashok, J. Kretinsky, K. G. Larsen, A. Le Coënt, J. H. Taankvist, M. Weininger
Quantitative Evaluation of SysTems (QEST'19), 2019.
Controlled Recurrence of a Biped with Torso
A. Le Coënt, L. Fribourg
Model-Based Design of Cyber Physical Systems (CyPhy'18), 2018. [preprint]
Guaranteed control synthesis for continuous systems in Uppaal Tiga
K. G. Larsen, A. Le Coënt, M. Mikučionis, J. H. Taankvist
Model-Based Design of Cyber Physical Systems (CyPhy'18), 2018. [preprint]
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method
A. Le Coënt, L. Fribourg, J. Vacher
Analysis and Design of Hybrid Systems (ADHS'18), 2018. [preprint]
Distributed Control Synthesis using Euler’s Method
A. Le Coënt, J. Alexandre dit Sandretto, A. Chapoutot, L. Fribourg, F. De Vuyst, L. Chamoin
Reachability Problems (RP'17), 2017. [preprint]
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
A. Le Coënt, F. De Vuyst, L. Chamoin, L. Fribourg
Symbolic and Numerical Methods for Reachability Analysis (SNR'17), 2017. [preprint]
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations
A. Le Coënt, L. Fribourg, R. Soulat
Reachability Problems (RP'16), 2016. [preprint]
Distributed Synthesis of State-Dependent Switching Control
A. Le Coënt, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin
Reachability Problems (RP'16), 2016. [preprint]
Control of Nonlinear Switched Systems Based on Validated Simulation
A. Le Coënt, J. Alexandre dit Sandretto, A. Chapoutot, L. Fribourg
Symbolic and Numerical Methods for Reachability Analysis (SNR'16), 2016. [preprint]
Guaranteed Control of Switched Control Systems Using Model Order Reduction and State-Space Bisection
A. Le Coënt, F. De Vuyst, L. Chamoin, C. Rey, L. Fribourg
International Workshop on Synthesis of Complex Parameters (SynCoP'15), 2015. [pdf]

Journal Papers

Efficient Probabilistic Inference in Biochemical Networks
A. Le Coënt, B. Barbot, N. Pekergin
Computers in Biology and Medicine, 2024. [pdf]
Guaranteed master for interval-based cosimulation
A. Le Coënt, J. A. dit Sandretto, A. Chapoutot
Software and Systems Modeling, 2021. [preprint]
Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
A. Le Coënt, L. Fribourg, J. Vacher, R. Wisnieski
Nonlinear Analysis: Hybrid Systems, 2019. [preprint]
Compositional synthesis of state-dependent switching control
A. Le Coënt, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin
Theoretical Computer Science, 2018. [preprint]
An improved algorithm for the control synthesis of nonlinear sampled switched systems
A. Le Coënt, J. Alexandre dit Sandretto, A. Chapoutot, L. Fribourg
Formal Methods in System Design, 2018. [preprint]
Control of Mechanical Systems Using Set Based Methods
A. Le Coënt, F. De Vuyst, L. Chamoin, C. Rey, L. Fribourg
International Journal of Dynamics and Control, 2016. [preprint]
Explicit Solution Format for Complex-Valued Natural Frequency of Beam with R-shunted Piezoelectric Laminate Transducer
J. B. Høgsberg, A. Le Coënt
Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science, 228(1), 31-44, 2014.