Olivier Mullier

14 papers A 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Preface.
Acta Cybern.
Julien Alexandre Dit Sandretto, Olivier Mullier, Alexandre Chapoutot
2021 J jnl
Validated Trajectory Tracking using Flatness.
Acta Cybern.
Olivier Mullier, Julien Alexandre Dit Sandretto
2020 — conf
Abstract domains for constraint programming with differential equations.
NSAD@SAS
Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
2020 J jnl
Optimal Switching Instants for the Control of Hybrid Systems.
Acta Cybern.
Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2019 — conf
Set-Membership Computation of Integrals with Uncertain Endpoints.
NUMTA (2)
Olivier Mullier, Julien Alexandre Dit Sandretto
2018 — ch.
Constraint-Based Framework for Reasoning with Differential Equations.
Cyber-Physical Systems Security
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2018 — conf
Improving validated computation of Viability Kernels.
HSCC
Benjamin Martin, Olivier Mullier
2018 J jnl
Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation.
Optim. Methods Softw.
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
2017 — conf
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties.
IRC
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2015 — conf
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis.
SynCoP
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2014 — conf
Inner approximated reachability analysis.
HSCC
Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer
2013 J jnl
General Inner Approximation of Vector-valued Functions.
Reliab. Comput.
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
2013 J jnl
General inner approximation of vector-valued functions.
CoRR
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
2010 A conf
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.
CP
Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe