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). I worked 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 work on guaranteed control synthesis for control systems using timed automata abstractions.

Away back, 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

Before that, I was a student at the Ecole Normale Supérieure de Cachan (normalien), where I obtained a Master's degree in Structural Mechanics.

Main research fields:

  • Control of switched systems

  • Symbolic methods for control synthesis

  • Partial differential equations

  • Model order reduction

  • Distributed (composisitional) control synthesis

  • Guaranteed simulation of dynamical systems

Conference Papers

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), 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] [slides]

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] [slides]

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] [slides]

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] [slides]

Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations, A. Le Coënt, L. Fribourg, R. Soulat, Reachability Problems (RP'16), 2016, [preprint] [slides]

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] [slides]

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] [slides]

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] [slides]

Journal Papers

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