Skip to Main content Skip to Navigation
Conference papers

Including Ordinary Differential Equations Based Constraints in the Standard CP Framework

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.
Document type :
Conference papers
Complete list of metadatas

http://hal.univ-nantes.fr/hal-00520054
Contributor : Damien Eveillard <>
Submitted on : Wednesday, September 22, 2010 - 10:02:07 AM
Last modification on : Monday, February 17, 2020 - 3:50:19 PM

Identifiers

  • HAL Id : hal-00520054, version 1

Collections

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. pp.221--235. ⟨hal-00520054⟩

Share

Metrics

Record views

282