Olivier Mullier
Olivier Mullier
ENSTA Paris
Verified email at polytechnique.edu
Title
Cited by
Cited by
Year
Inner approximated reachability analysis
E Goubault, O Mullier, S Putot, M Kieffer
Proceedings of the 17th international conference on Hybrid systemsá…, 2014
382014
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
202010
General inner approximation of vector-valued functions
M Olivier, ╔ Goubault, M Kieffer, S Putot
arXiv preprint arXiv:1310.1709, 2013
142013
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
132018
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
92017
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
JA dit Sandretto, A Chapoutot, O Mullier
2nd International Workshop on Synthesis of Complex Parameters, 91, 2015
72015
Validated Explicit and Implicit Runge-Kutta Methods
A Chapoutot, JA dit Sandretto, O Mullier
Small Workshop on Interval Methods, 2015
62015
Dynibex library
JA dit Sandretto, A Chapoutot, O Mullier
62015
Constraint-based framework for reasoning with differential equations
JA dit Sandretto, A Chapoutot, O Mullier
Cyber-Physical Systems Security, 23-41, 2018
52018
Set-membership computation of admissible controls for trajectory tracking
O Mullier, E Courtial
Reliable Computing, 2017
32017
Optimal switching instants for the control of hybrid systems
O Mullier, JA dit Sandretto, A Chapoutot
Acta Cybernetica 24 (3), 449-465, 2020
12020
Optimal switching instants for the control of hybrid systems
JAD Sandretto, A Chapoutot, O Mullier
11th Summer Workshop on Interval Methods (SWIM), 2018
12018
Optimal switching instants for the Control of Hybrid Systems
JA dit Sandretto, A Chapoutot, O Mullier
SWIM 2018, 5, 2018
12018
Improving validated computation of Viability Kernels
B Martin, O Mullier
Proceedings of the 21st International Conference on Hybrid Systemsá…, 2018
12018
Validated Trajectory Tracking using Flatness
O Mullier, JA dit Sandretto
Acta Cybernetica 25 (1), 85-99, 2021
2021
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
2020
Computation of integrals with interval endpoints
O Mullier, JAD Sandretto
SWIM 2019, 2019
2019
Set-membership computation of integrals with uncertain endpoints
O Mullier, JA 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
DynIbex-2.0: The User Guide
JA dit Sandretto, A Chapoutot, O Mullier
2018
The system can't perform the operation now. Try again later.
Articles 1–20