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 metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal-ensta-paris.archives-ouvertes.fr//hal-01302504
Contributor : Julien Alexandre Dit Sandretto <>
Submitted on : Thursday, April 14, 2016 - 2:39:17 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM
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

132

Files downloads

131