| 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 | 15 | 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 | 15 | 2016 |
| 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 |
| 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 | 8 | 2018 |
| 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 | 7 | 2019 |
| 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 | 6 | 2017 |
| 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 |
| 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 | 5 | 2018 |
| 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 | 4 | 2019 |
| 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, 2017 | 2 | 2017 |
| 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 |
| Guaranteed master for interval-based cosimulation A Le Coënt, JA dit Sandretto, A Chapoutot Software and Systems Modeling, 1-14, 2021 | | 2021 |
| 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 |
