Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
复制标题
在标准 CP 框架中包含基于常微分方程的约束
DOI：
10.1007/978-3-642-15396-9_20
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
and Hiroshi Hosobe
中科院分区：
文献类型：
--
作者：
Alexandre Goldsztejn;Olivier Mullier;Damien Eveillard;and Hiroshi Hosobe
耦合约束和常微分方程有许多应用。本文展示了如何以自然有效的方式将涉及常微分方程的约束引入数值约束满足问题框架中。在数值约束满足问题框架中提出的稍微适应的标准过滤算法应用于这些约束，从而产生处理基于常微分方程的约束的分支和修剪算法。提出了初步实验。
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 constraint 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.