Follow
Adrien Le Coënt
Title
Cited by
Cited by
Year
SOS: safe, optimal and small strategies for hybrid Markov decision processes
P Ashok, J Křetínský, KG Larsen, A Le Coënt, JH Taankvist, M Weininger
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
262019
Control synthesis of nonlinear sampled switched systems using Euler's method
AL Coënt, F De Vuyst, L Chamoin, L Fribourg
arXiv preprint arXiv:1704.03102, 2017
242017
Distributed synthesis of state-dependent switching control
A Le Coënt, L Fribourg, N Markey, F De Vuyst, L Chamoin
International Workshop on Reachability Problems, 119-133, 2016
192016
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 53, 363-383, 2018
122018
Control of nonlinear switched systems based on validated simulation
A Le Coënt, JA dit Sandretto, A Chapoutot, L Fribourg
2016 International Workshop on Symbolic and Numerical Methods for …, 2016
112016
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga
KG Larsen, A Le Coënt, M Mikučionis, JH Taankvist
Cyber Physical Systems. Model-Based Design: 8th International Workshop …, 2019
102019
Distributed control synthesis using Euler’s method
A Le Coënt, J Alexandre dit Sandretto, A Chapoutot, L Fribourg, ...
Reachability Problems: 11th International Workshop, RP 2017, London, UK …, 2017
102017
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction
A Le Coënt, L Fribourg
Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020
82020
Explicit solution format for complex-valued natural frequency of beam with R-shunted piezoelectric laminate transducer
J Høgsberg, AL Cöent
Proceedings of the Institution of Mechanical Engineers, Part C: Journal of …, 2014
82014
Compositional synthesis of state-dependent switching control
A Le Coënt, L Fribourg, N Markey, F De Vuyst, L Chamoin
Theoretical Computer Science 750, 53-68, 2018
52018
Control of mechanical systems using set based methods
A Le Coënt, F De Vuyst, C Rey, L Chamoin, L Fribourg
International Journal of Dynamics and Control 5, 496-512, 2017
52017
Control of mechanical systems using set based methods
A Le Coënt, F De Vuyst, C Rey, L Chamoin, L Fribourg
International Journal of Dynamics and Control 5, 496-512, 2017
52017
Compositional analysis of Boolean networks using local fixed-point iterations
A Le Coënt, L Fribourg, R Soulat
Reachability Problems: 10th International Workshop, RP 2016, Aalborg …, 2016
42016
Guaranteed control of switched control systems using model order reduction and state-space bisection
A Le Coënt, F De Vuyst, C Rey, L Chamoin, L Fribourg
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)(2015), 2015
42015
Guaranteed control of sampled switched systems using semi-Lagrangian schemes and one-sided Lipschitz constants
A Le Coënt, L Fribourg
2019 IEEE 58th Conference on Decision and Control (CDC), 599-604, 2019
32019
Guaranteed control synthesis for switched space-time dynamical systems
A Le Coënt
Université Paris Saclay (COmUE), 2017
32017
Guaranteed master for interval-based cosimulation
A Le Coënt, J Alexandre dit Sandretto, A Chapoutot
Software and Systems Modeling 20 (3), 711-724, 2021
12021
Control synthesis for stochastic switched systems using the tamed euler method
A Le Coënt, L Fribourg, J Vacher
IFAC-PapersOnLine 51 (16), 259-264, 2018
12018
Bayesian Networks as Approximations of Biochemical Networks
A Le Coënt, B Barbot, N Pekergin, C Güzeliş
European Workshop on Performance Engineering, 216-233, 2023
2023
Cosimulation-based control synthesis
A Le Coënt, J Alexandre dit Sandretto, A Chapoutot
International Conference on Software Engineering and Formal Methods, 318-333, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20