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 | 20 | 2017 |
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 | 18 | 2016 |
SOS: Safe, optimal and small strategies for hybrid markov decision processes P Ashok, J Křetínský, KG Larsen, AL Coënt, JH Taankvist, M Weininger International Conference on Quantitative Evaluation of Systems, 147-164, 2019 | 14 | 2019 |
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 (3), 363-383, 2018 | 11 | 2018 |
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 | 10 | 2016 |
Distributed control synthesis using Euler’s method AL Coënt, J Alexandre dit Sandretto, A Chapoutot, L Fribourg, FD Vuyst, ... International Workshop on Reachability Problems, 118-131, 2017 | 8 | 2017 |
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, 181-202, 2019 | 7 | 2019 |
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 | 6 | 2018 |
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 | 6 | 2014 |
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 | 4 | 2017 |
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 | 4 | 2017 |
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 | 4 | 2015 |
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 | 3 | 2019 |
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 | 3 | 2018 |
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 | 3 | 2016 |
Guaranteed control synthesis for switched space-time dynamical systems A Le Coënt Université Paris Saclay (COmUE), 2017 | 2 | 2017 |
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 | 1 | 2021 |
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 | 1 | 2018 |
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 |
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 |