| Inner approximated reachability analysis E Goubault, O Mullier, S Putot, M Kieffer Proceedings of the 17th international conference on Hybrid systems …, 2014 | 54 | 2014 |
| Including ordinary differential equations based constraints in the standard CP framework A Goldsztejn, O Mullier, D Eveillard, H Hosobe International Conference on Principles and Practice of Constraint …, 2010 | 23 | 2010 |
| Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation O Mullier, A Chapoutot, J Alexandre dit Sandretto Optimization Methods and Software 33 (4-6), 718-728, 2018 | 20 | 2018 |
| General inner approximation of vector-valued functions M Olivier, É Goubault, M Kieffer, S Putot arXiv preprint arXiv:1310.1709, 2013 | 16 | 2013 |
| Constraint-based framework for reasoning with differential equations J Alexandre dit Sandretto, A Chapoutot, O Mullier Cyber-Physical Systems Security, 23-41, 2018 | 14 | 2018 |
| Formal verification of robotic behaviors in presence of bounded uncertainties JA dit Sandretto, A Chapoutot, O Mullier 2017 First IEEE International Conference on Robotic Computing (IRC), 81-88, 2017 | 9 | 2017 |
| Validated Explicit and Implicit Runge-Kutta Methods A Chapoutot, JAD Sandretto, O Mullier Small Workshop on Interval Methods, 2015 | 9 | 2015 |
| Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis J Alexandre dit Sandretto, A Chapoutot, O Mullier 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)(2015), 2015 | 9 | 2015 |
| Dynibex library JA dit Sandretto, A Chapoutot, O Mullier | 6 | 2015 |
| Improving validated computation of viability kernels B Martin, O Mullier Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 4 | 2018 |
| Set-membership computation of admissible controls for trajectory tracking O Mullier, E Courtial Reliable Computing, 2017 | 3 | 2017 |
| Abstract domains for constraint programming with differential equations G Ziat, O Mullier, JAD Sandretto, C Garion, A Chapoutot, X Thirioux Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and …, 2020 | 2 | 2020 |
| Optimal switching instants for the control of hybrid systems O Mullier, JA dit Sandretto, A Chapoutot Acta Cybernetica 24 (3), 449-465, 2020 | 2 | 2020 |
| Optimal switching instants for the Control of Hybrid Systems JA dit Sandretto, A Chapoutot, O Mullier SWIM 2018, 5, 2018 | 2 | 2018 |
| Optimal switching instants for the control of hybrid systems JAD Sandretto, A Chapoutot, O Mullier 11th Summer Workshop on Interval Methods (SWIM), 2018 | 1 | 2018 |
| Validated Trajectory Tracking using Flatness O Mullier, JA dit Sandretto Acta Cybernetica 25 (1), 85-99, 2021 | | 2021 |
| Computation of integrals with interval endpoints O Mullier, JAD Sandretto SWIM 2019, 2019 | | 2019 |
| Set-membership computation of integrals with uncertain endpoints O Mullier, J Alexandre dit Sandretto International Conference on Numerical Computations: Theory and Algorithms …, 2019 | | 2019 |
| Survey of what DynIbex can do for you JAD Sandretto, A Chapoutot, O Mullier | | 2018 |
| HAL Id: hal-01927784 JAD Sandretto, A Chapoutot, O Mullier | | 2018 |
Alexandre ChapoutotENSTA Paris - U2ISVerified email at ensta.fr
