Search - Archive ouverte HAL Access content directly

Filter your results

9 Results
Image document

Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation

Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom.
Poster communications hal-01316503v1

Abstract domains for constraint programming with differential equations

Ghiles Ziat , Olivier Mullier , Julien Alexandre Dit Sandretto , Christophe Garion , Alexandre Chapoutot et al.
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⟩
Conference papers hal-03068260v1

Improving validated computation of Viability Kernels

Benjamin Martin , Olivier Mullier
the 21st International Conference, Apr 2018, Porto, France. ⟨10.1145/3178126.3178141⟩
Conference papers hal-01889215v1
Image document

Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation

Olivier Mullier , Alexandre Chapoutot , Julien Alexandre Dit Sandretto
Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩
Journal articles hal-01498372v1

Including Ordinary Differential Equations Based Constraints in the Standard CP Framework

Alexandre Goldsztejn , Olivier Mullier , Damien Eveillard , Hiroshi Hosobe
Principles and Practice of Constraint Programming, CP2010, Sep 2010, St Andrews, United Kingdom. pp.221--235
Conference papers hal-00520054v1

Validated Trajectory Tracking using Flatness

Julien Alexandre Dit Sandretto , Olivier Mullier
Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
Journal articles hal-03430397v1

Optimal Switching Instants for the Control of Hybrid Systems

Olivier Mullier , Julien Alexandre Dit Sandretto , Alexandre Chapoutot
Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
Journal articles hal-03158488v1
Image document

Survey of what DynIbex can do for you

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Olivier Mullier
2018
Preprints, Working Papers, ... hal-01927784v1
Image document

Set-Membership Computation of Admissible Controls for Trajectory Tracking

Olivier Mullier , Estelle Courtial
Reliable Computing, 2017
Journal articles hal-01657736v1