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
182017
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
162016
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
International Conference on Quantitative Evaluation of Systems, 147-164, 2019
132019
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
102016
An improved algorithm for the control synthesis of nonlinear sampled switched systems
A Le CoŽnt, JA dit Sandretto, A Chapoutot, L Fribourg
Formal Methods in System Design 53 (3), 363-383, 2018
92018
Distributed control synthesis using Euler’s method
A Le CoŽnt, JA dit Sandretto, A Chapoutot, L Fribourg, F De Vuyst, ...
International Workshop on Reachability Problems, 118-131, 2017
72017
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction
AL CoŽnt, L Fribourg
arXiv preprint arXiv:1907.12155, 2019
62019
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
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, 113-133, 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 (3), 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 (3), 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
Compositional analysis of Boolean networks using local fixed-point iterations
A Le CoŽnt, L Fribourg, R Soulat
International Workshop on Reachability Problems, 134-147, 2016
32016
Guaranteed control synthesis for switched space-time dynamical systems
A Le CoŽnt
Universitť Paris Saclay (COmUE), 2017
22017
Guaranteed master for interval-based cosimulation
A Le CoŽnt, JA dit Sandretto, A Chapoutot
Software and Systems Modeling, 1-14, 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, JA dit Sandretto, A Chapoutot
International Conference on Software Engineering and Formal Methods, 318-333, 2020
2020
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