Skip to Main content Skip to Navigation
New interface
Conference poster

DynIBEX: a Differential Constraint Library for Studying Dynamical Systems

Abstract : 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
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal-ensta-paris.archives-ouvertes.fr/hal-01302504
Contributor : Julien Alexandre dit Sandretto Connect in order to contact the contributor
Submitted on : Thursday, April 14, 2016 - 2:39:17 PM
Last modification on : Tuesday, May 17, 2022 - 1:42:01 PM
Long-term archiving on: : Friday, July 15, 2016 - 12:30:48 PM

File

Poster_A0.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01302504, version 1

Citation

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

Share

Metrics

Record views

64

Files downloads

49