Constraint Reasoning with Differential Equations

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)140-154
JournalApplied Numerical Analysis and Computational Mathematics
Issue number1
Publication statusPublished - 15 Mar 2004


  • Constraint Reasoning
  • Differential Equations


Dive into the research topics of 'Constraint Reasoning with Differential Equations'. Together they form a unique fingerprint.

Cite this