TY - JOUR
T1 - Constraint Reasoning with Differential Equations
AU - Cruz, Jorge Carlos Ferreira Rodrigues da
AU - Barahona, Pedro Manuel Corrêa Calvente de
PY - 2004/3/15
Y1 - 2004/3/15
N2 - System dynamics is naturally expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and to make decisions upon, given their non-linearity and the important effects that the uncertainty on data may cause. In contrast with traditional numerical simulations that may only provide a likelihood of the results obtained, we propose a constraint reasoning framework that enables safe decision support despite data uncertainty. The approach is illustrated in the tuning of drug design and in an epidemiological study.
AB - System dynamics is naturally expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and to make decisions upon, given their non-linearity and the important effects that the uncertainty on data may cause. In contrast with traditional numerical simulations that may only provide a likelihood of the results obtained, we propose a constraint reasoning framework that enables safe decision support despite data uncertainty. The approach is illustrated in the tuning of drug design and in an epidemiological study.
KW - Constraint Reasoning
KW - Differential Equations
KW - Constraint Reasoning
KW - Differential Equations
U2 - 10.1002/anac.200310012
DO - 10.1002/anac.200310012
M3 - Article
VL - 1
SP - 140
EP - 154
JO - Applied Numerical Analysis and Computational Mathematics
JF - Applied Numerical Analysis and Computational Mathematics
IS - 1
ER -