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 de conférence
hal-01316503v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
Olivier Mullier
,
Alexandre Chapoutot
,
Julien Alexandre Dit Sandretto
Article dans une revue
hal-01498372v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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
Communication dans un congrès
hal-00520054v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
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⟩
Communication dans un congrès
hal-03068260v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Improving validated computation of Viability Kernels
Benjamin Martin
,
Olivier Mullier
Communication dans un congrès
hal-01889215v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Optimal Switching Instants for the Control of Hybrid Systems
Olivier Mullier
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
Article dans une revue
hal-03158488v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Validated Trajectory Tracking using Flatness
Julien Alexandre Dit Sandretto
,
Olivier Mullier
Article dans une revue
hal-03430397v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Set-Membership Computation of Admissible Controls for Trajectory Tracking
Olivier Mullier
,
Estelle Courtial
Reliable Computing , 2017
Article dans une revue
hal-01657736v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Survey of what DynIbex can do for you
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Olivier Mullier
2018
Pré-publication, Document de travail
hal-01927784v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More