Follow
Adrien Le CoŽnt
Title
Cited by
Cited by
Year
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
222017
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
192019
Distributed synthesis of state-dependent switching control
A Le CoŽnt, L Fribourg, N Markey, F De Vuyst, L Chamoin
Reachability Problems: 10th International Workshop, RP 2016, Aalborg†…, 2016
182016
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
122016
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
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
82019
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
62014
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
42017
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
42017
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
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
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
32018
Guaranteed control synthesis for switched space-time dynamical systems
A Le CoŽnt
Universitť Paris Saclay (COmUE), 2017
32017
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
32016
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
Cosimulation-Based Control Synthesis
A Le CoŽnt, J Alexandre dit Sandretto, A Chapoutot
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops†…, 2021
2021
Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
A Le CoŽnt, L Fribourg, J Vacher, R Wisniewski
Nonlinear Analysis: Hybrid Systems 36, 100860, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20