Constraint Reasoning with Differential Equations

Research output: Contribution to journalArticle


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

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

Cite this