Adrien Le Coënt

According to our database, Adrien Le Coënt authored at least 18 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Bayesian Networks as Approximations of Biochemical Networks.

Adrien Le Coënt, Benoît Barbot, Nihal Pekergin, Cüneyt Güzelis

Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2021

Guaranteed master for interval-based cosimulation.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Softw. Syst. Model., 2021

2020

Cosimulation-Based Control Synthesis.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.

Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction.

Adrien Le Coënt, Laurent Fribourg

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants.

Adrien Le Coënt, Laurent Fribourg

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Compositional synthesis of state-dependent switching control.

Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin

Theor. Comput. Sci., 2018

An improved algorithm for the control synthesis of nonlinear sampled switched systems.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg

Formal Methods Syst. Des., 2018

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.

Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

Controlled Recurrence of a Biped with Torso.

Adrien Le Coënt, Laurent Fribourg

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.

Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Guaranteed control synthesis for switched space-time dynamical systems. (Synthèse de contrôle garanti pour des systèmes dynamiques spatio-temporels à commutation).

Adrien Le Coënt

PhD thesis, 2017

Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method.

Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg

Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017

Distributed Control Synthesis Using Euler's Method.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin

Proceedings of the Reachability Problems - 11th International Workshop, 2017

2016

Control of nonlinear switched systems based on validated simulation.

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg

CoRR, 2016

Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations.

Adrien Le Coënt, Laurent Fribourg, Romain Soulat

Proceedings of the Reachability Problems - 10th International Workshop, 2016

Distributed Synthesis of State-Dependent Switching Control.

Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin

Proceedings of the Reachability Problems - 10th International Workshop, 2016

2015

Guaranteed control of switched control systems using model order reduction and state-space bisection.

Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015