Adrien Le Coënt

27 papers B 1Journal 10Unranked 15
YearRankTypeTitle / Venue / Authors
2025 — conf
Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks.
QEST+FORMATS
Olivier Bouët-Willaumez, Adrien Le Coënt, Benoît Barbot, Nihal Pekergin
2024 J jnl
Efficient probabilistic inference in biochemical networks.
Comput. Biol. Medicine
Adrien Le Coënt, Benoît Barbot, Nihal Pekergin
2024 — conf
Formal stabilization of a coupled ODE-PDE switched system.
CDC
Adrien Le Coënt, Jonathan Vacher, Kenan Kergrene
2024 — conf
Towards an Efficient Model Reduction for Parameter Estimation of Biochemical Networks.
VALUETOOLS
Adrien Le Coënt, Benoît Barbot, Nihal Pekergin
2023 — conf
Bayesian Networks as Approximations of Biochemical Networks.
EPEW
Adrien Le Coënt, Benoît Barbot, Nihal Pekergin, Cüneyt Güzelis
2021 J jnl
Guaranteed master for interval-based cosimulation.
Softw. Syst. Model.
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2020 B conf
Cosimulation-Based Control Synthesis.
SEFM
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2019 J jnl
Controlled Recurrence of a Biped with Torso.
CoRR
Adrien Le Coënt, Laurent Fribourg
2019 — conf
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants.
CDC
Adrien Le Coënt, Laurent Fribourg
2019 J jnl
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants.
CoRR
Adrien Le Coënt, Laurent Fribourg
2019 — conf
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction.
CyPhy/WESE
Adrien Le Coënt, Laurent Fribourg
2019 J jnl
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction.
CoRR
Adrien Le Coënt, Laurent Fribourg
2019 — conf
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
QEST
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2019 J jnl
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes.
CoRR
Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
2018 J jnl
An improved algorithm for the control synthesis of nonlinear sampled switched systems.
Formal Methods Syst. Des.
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2018 J jnl
Compositional synthesis of state-dependent switching control.
Theor. Comput. Sci.
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2018 — conf
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.
ADHS
Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher
2018 — conf
Controlled Recurrence of a Biped with Torso.
CyPhy/WESE
Adrien Le Coënt, Laurent Fribourg
2018 — conf
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.
CyPhy/WESE
Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist
2017 — conf
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method.
SNR@ETAPS
Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg
2017 — conf
Distributed Control Synthesis Using Euler's Method.
RP
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
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
2016 — conf
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations.
RP
Adrien Le Coënt, Laurent Fribourg, Romain Soulat
2016 J jnl
Control of nonlinear switched systems based on validated simulation.
CoRR
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2016 — conf
Distributed Synthesis of State-Dependent Switching Control.
RP
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2016 J jnl
Distributed Synthesis of State-Dependent Switching Control.
CoRR
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2015 — conf
Guaranteed control of switched control systems using model order reduction and state-space bisection.
SynCoP
Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg