DynBEX: a Differential Constraint Library for Studying Dynamical Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

DynBEX: a Differential Constraint Library for Studying Dynamical Systems

Résumé

Interval analysis tools have been used in many techniques and methods to study dynamical systems. Nevertheless, custom homemade libraries are usually developed for these purposes. DynIBEX is a free open-source library combining validated numerical integration methods with a constraint programming library named IBEX. Its purpose is to provide all the basic interval operators which may be used into more complex algorithms for studying dynamical systems.
Fichier principal
Vignette du fichier
dynibex-poster.pdf (261.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01297273 , version 1 (19-04-2016)

Identifiants

  • HAL Id : hal-01297273 , version 1

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. DynBEX: a Differential Constraint Library for Studying Dynamical Systems. Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria. ⟨hal-01297273⟩
154 Consultations
286 Téléchargements

Partager

Gmail Facebook X LinkedIn More