Research activities

I am currently 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.

Formerly, I worked as a PhD student at CMLA, ENS Paris-Saclay under the supervision of Florian de Vuyst, Ludovic Chamoin, and Laurent Fribourg. [Manuscript]
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

Conference Papers

Controlled Recurrence of a Biped with Torso, A. Le Coënt, L. Fribourg, Model-Based Design of Cyber Physical Systems (CyPhy'18), 2018.

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.

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

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