Survey of what DynIbex can do for you

Julien Alexandre Dit Sandretto (1) , Alexandre Chapoutot (2) , Olivier Mullier

1 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes
2 SFL - Sûreté et Fiabilité des Logiciels

This paper aims at gathering the capabilities of the tool DynIbex, in term of differential equations that can be handled, the facilities for constraint programming with differential equations, and the applications already done by the help of this tool. It collects all of our contributions produced on, or by the help of, DynIbex.

Mots clés: Runge-Kutta methods; validated numerical integration; con-trol synthesis; appropriate design; hybrid systems; motion planning; model predictive control; viability kernel

Domaines: Logiciel mathématique [cs.MS]; Analyse numérique [cs.NA]; Modélisation et simulation

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Survey of what DynIbex can do for you. 2018. ⟨hal-01927784⟩