 |
 |
 |
 |
|
|
|
|
| HAL : hal-00520054, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| 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 |
|
|
| (06/09/2010) |
|
|
|
| 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 | |
| Contributeur : Damien Eveillard | |
| Soumis le : Mercredi 22 Septembre 2010, 10:02:07 | |
| Dernière modification le : Mercredi 22 Septembre 2010, 10:02:07 | |
