Including Ordinary Differential Equations Based Constraints in the Standard CP Framework

Alexandre Goldsztejn 1 Olivier Mullier 1 Damien Eveillard 1 Hiroshi Hosobe 2
1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 NII - National Institute of Informatics
Abstract : Coupling constraints and ordinary differential equations has numerous applications. This paper shows how to introduce constraints involving ordinary differential equations into the numerical constraint satisfaction problem framework in a natural and efficient way. Slightly adapted standard filtering algorithms proposed in the numerical con- straint satisfaction problem framework are applied to these constraints leading to a branch and prune algorithm that handles ordinary differential equations based constraints. Preliminary experiments are presented.
Type de document :
Communication dans un congrès
Principles and Practice of Constraint Programming, CP2010, Sep 2010, St Andrews, United Kingdom. Springer Verlag, 6308, pp.221--235, 2010
Liste complète des métadonnées
http://hal.univ-nantes.fr/hal-00520054
Contributeur : Damien Eveillard <>
Soumis le : mercredi 22 septembre 2010 - 10:02:07
Dernière modification le : jeudi 5 avril 2018 - 10:36:49

Identifiants

  • HAL Id : hal-00520054, version 1

Collections

LINA-OPTI | UNIV-NANTES | LINA | LINA-COMBI

Citation

Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe. Including Ordinary Differential Equations Based Constraints in the Standard CP Framework. Principles and Practice of Constraint Programming, CP2010, Sep 2010, St Andrews, United Kingdom. Springer Verlag, 6308, pp.221--235, 2010. 〈hal-00520054〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

138

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD