Research activities

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

Formerly, 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.

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

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

Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants, A. Le Coënt, L. Fribourg, Accepted for publication at the 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, Accepted for publication at 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, Accepted for publication at 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

Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method A. Le Coënt, L. Fribourg, J. Vacher, R. Wisnieski, Accepted for publication in Nonlinear Analysis: Hybrid Systems, 2019.

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