Publications HAL de Olivier,Mullier

2020

Article dans une revue

titre
Optimal Switching Instants for the Control of Hybrid Systems
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Acta Cybernetica, University of Szeged, Institute of Informatics, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Abstract domains for constraint programming with differential equations
auteur
Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
article
NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Set-Membership Computation of Integrals with Uncertain Endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
Numerical Computations: Theory and Algorithms Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II,, pp.169-181, 2020, ⟨10.1007/978-3-030-40616-5_13⟩
Accès au bibtex
BibTex

2019

Communication dans un congrès

titre
Computation of integrals with interval endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
SWIM 2019, Jul 2019, Versailles - Palaiseau, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02511927/file/SWIM19_interval_integrals.pdf BibTex
titre
Set-membership computation of integrals with uncertain endpoints
auteur
Olivier Mullier, Julien Alexandre Dit Sandretto
article
NUMTA 2019, Jun 2019, Le Castella village, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02372387/file/numta_abs.pdf BibTex

2018

Article dans une revue

titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Optimization Methods and Software, Taylor & Francis, 2018, ⟨10.1080/10556788.2018.1459620⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01498372/file/articleAD16-hal.pdf BibTex

Communication dans un congrès

titre
Optimal switching instants for the Control of Hybrid Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01992071/file/swim18.pdf BibTex
titre
Improving validated computation of Viability Kernels
auteur
Benjamin Martin, Olivier Mullier
article
the 21st International Conference, Apr 2018, Porto, France. ⟨10.1145/3178126.3178141⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Constraint-Based Framework for Reasoning with Differential Equations
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
Survey of what DynIbex can do for you
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01927784/file/survey.pdf BibTex

2017

Article dans une revue

titre
Set-Membership Computation of Admissible Controls for Trajectory Tracking
auteur
Olivier Mullier, Estelle Courtial
article
Reliable Computing, Springer Verlag, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01657736/file/reliable-computing-24-pp-011-026.pdf BibTex
titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88
Accès au bibtex
BibTex

Communication dans un congrès

titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01490364/file/irc17-hal.pdf BibTex

2016

Poster

titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01316503/file/article.pdf BibTex

2015

Communication dans un congrès

titre
Validated Explicit and Implicit Runge-Kutta Methods
auteur
Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal-ensta-paris.archives-ouvertes.fr//hal-01111240/file/chapoutot_et_al_grk.pdf BibTex
titre
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩
Accès au bibtex
BibTex

2014

Communication dans un congrès

titre
Inner approximated reachability analysis
auteur
Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer
article
HSCC '14, Apr 2014, Berlin, Germany. pp.163-172, ⟨10.1145/2562059.2562113⟩
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-01073731/file/hscc09-goubaultA.pdf BibTex

2013

Article dans une revue

titre
General Inner Approximation of Vector-valued Functions
auteur
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
article
Reliable Computing, Springer Verlag, 2013, 18, pp.117-143
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00935773/file/main_sous_approx.pdf BibTex

2010

Communication dans un congrès

titre
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
auteur
Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe
article
Principles and Practice of Constraint Programming, CP2010, Sep 2010, St Andrews, United Kingdom. pp.221--235
Accès au bibtex
BibTex