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
Towards an efficient model reduction for
parameter estimation of biochemical networks, A. Le Coënt, B.
Barbot, N. Pekergin,
Submitted to the 17th EAI International Conference on Performance Evaluation
Methodologies
and Tools (ValueTools 2024), 2024.
Formal stabilization of a coupled ODE-PDE switched system, A. Le Coënt, J.
Vacher, K. Kergrene,
Accepted for publication at the 63rd Conference on Decision and Control (CDC 2024),
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), 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
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