DynIBEX: a Differential Constraint Library for Studying Dynamical Systems

Julien Alexandre Dit Sandretto (1) , Alexandre Chapoutot (1)

1 SFL - Sûreté et Fiabilité des Logiciels

A free open-source library combining validated numerical integration methods with a constraint programming approach, as a plugin of IBEX library with: -validated integration methods based on Runge-Kutta for Ordinary Differential Equations (ODEs) and Differential Algebraic Equations (DAEs) -operators for satisfaction problems on dynamical systems

Domaines: Analyse numérique [cs.NA]; Catégories et ensembles [math.CT]

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. DynIBEX: a Differential Constraint Library for Studying Dynamical Systems. HSCC, Apr 2016, Vienne, Austria. , HSCC 2016. ⟨hal-01302504⟩