 |
 |
 |
 |
|
|
|
|
| HAL: hal-00520054, version 1 |
| Detailed view |  Export this paper |
 |
| Principles and Practice of Constraint Programming, CP2010, Royaume-Uni (2010) |
|
|
|
|
| Including Ordinary Differential Equations Based Constraints in the Standard CP Framework |
|
|
| Alexandre Goldsztejn 1Olivier Mullier 1 |
|
|
| (2010-09-06) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
| 2: | National institute for Informatics (NII) |
|
|
|
Japanese Government |
|
|
|
|
|
|
|
|
|
| hal-00520054, version 1 | |
| http://hal.univ-nantes.fr/hal-00520054 | |
| oai:hal.univ-nantes.fr:hal-00520054 | |
| From: Damien Eveillard | |
| Submitted on: Wednesday, 22 September 2010 10:02:07 | |
| Updated on: Wednesday, 22 September 2010 10:02:07 | |
