Adrien Le Coënt

ORCID

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 22

Top Venues

CoRR

CyPhy/WESE

SNR@ETAPS

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Adrien Le Coënt, Benoît Barbot, Nihal Pekergin, Cüneyt Güzelis
Bayesian Networks as Approximations of Biochemical Networks. EPEW (2023)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Guaranteed master for interval-based cosimulation. Softw. Syst. Model. 20 (3) (2021)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
Cosimulation-Based Control Synthesis. SEFM (2020)
Adrien Le Coënt, Laurent Fribourg
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CoRR (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction. CoRR (2019)
Adrien Le Coënt, Laurent Fribourg
Controlled Recurrence of a Biped with Torso. CoRR (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. CyPhy/WESE (2019)
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CDC (2019)
Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. ADHS (2018)
Adrien Le Coënt, Laurent Fribourg
Controlled Recurrence of a Biped with Torso. CyPhy/WESE (2018)
Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. CyPhy/WESE (2018)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750 (2018)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53 (3) (2018)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
Distributed Control Synthesis Using Euler's Method. RP (2017)
Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method. SNR@ETAPS (2017)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Distributed Synthesis of State-Dependent Switching Control. RP (2016)
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
Control of nonlinear switched systems based on validated simulation. CoRR (2016)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Distributed Synthesis of State-Dependent Switching Control. CoRR (2016)
Adrien Le Coënt, Laurent Fribourg, Romain Soulat
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. RP (2016)
Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg
Guaranteed control of switched control systems using model order reduction and state-space bisection. SynCoP (2015)

Adrien Le Coënt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adrien Le Coënt