2021
Article dans une revue
- titre
- Validated Trajectory Tracking using Flatness
- auteur
- Julien Alexandre Dit Sandretto, Olivier Mullier
- article
- Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
- Accès au bibtex
-
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, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
- Accès au 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
-
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
-
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
-
- 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
-
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, 2018, ⟨10.1080/10556788.2018.1459620⟩
- Accès au texte intégral et 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
-
- 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
-
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
-
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
-
2017
Article dans une revue
- titre
- Set-Membership Computation of Admissible Controls for Trajectory Tracking
- auteur
- Olivier Mullier, Estelle Courtial
- article
- Reliable Computing, 2017
- Accès au texte intégral et 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
-
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
-
2016
Poster de conférence
- 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
-
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
-
- 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
-
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
-
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, 2013, 18, pp.117-143
- Accès au texte intégral et 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
-