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
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal-ensta.archives-ouvertes.fr/hal-01302504
Contributeur : Julien Alexandre Dit Sandretto <>
Soumis le : jeudi 14 avril 2016 - 14:39:17
Dernière modification le : vendredi 8 décembre 2017 - 15:08:03
Document(s) archivé(s) le : vendredi 15 juillet 2016 - 12:30:48

Fichier

Poster_A0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, 〈http://www.cs.ox.ac.uk/conferences/hscc2016/〉. 〈hal-01302504〉

Partager

Métriques

Consultations de la notice

78

Téléchargements de fichiers

87