Folgen
Olivier Mullier
Olivier Mullier
ENSTA Paris
Bestätigte E-Mail-Adresse bei polytechnique.edu
Titel
Zitiert von
Zitiert von
Jahr
Inner approximated reachability analysis
E Goubault, O Mullier, S Putot, M Kieffer
Proceedings of the 17th international conference on Hybrid systems …, 2014
522014
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
222010
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
192018
General inner approximation of vector-valued functions
M Olivier, É Goubault, M Kieffer, S Putot
arXiv preprint arXiv:1310.1709, 2013
162013
Constraint-based framework for reasoning with differential equations
J Alexandre dit Sandretto, A Chapoutot, O Mullier
Cyber-Physical Systems Security, 23-41, 2018
112018
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
82017
Validated Explicit and Implicit Runge-Kutta Methods
A Chapoutot, JAD Sandretto, O Mullier
Small Workshop on Interval Methods, 2015
82015
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
82015
Dynibex library
JA dit Sandretto, A Chapoutot, O Mullier
62015
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
22020
Improving validated computation of viability kernels
B Martin, O Mullier
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
22018
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
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
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
DynIbex-2.0: The User Guide
JA dit Sandretto, A Chapoutot, O Mullier
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20