Constraint satisfaction differential problems

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

13 Citations (Scopus)


System dynamics is often modeled by means of parametric differential equations. Despite their expressive power, they are difficult to reason about and make safe decisions, given their non-linearity and the important effects that the uncertainty on data may cause. Either by traditional numerical simulation or relying on constraint based methods, it is difficult to express a number of constraints on the solution functions (for which there are usually no analytical solutions) and these constraints may only be handled passively, with generate and test techniques. In contrast, the framework we propose not only extends the declarativeness of the constraint based approach but also makes an active use of constraints on the solution functions, which makes it particularly suited for a number of decision making problems, such as those arising in the biomedical applications presented in the paper.

Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming – CP 2003
Subtitle of host publication9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings
EditorsFrancesca Rossi
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages15
ISBN (Electronic)978-3-540-45193-8
ISBN (Print)978-3-540-20202-8
Publication statusPublished - 2003
Event9th International Conference on Principles and Practice of Constraint Programming: CP 2003 - Kinsale, Ireland
Duration: 29 Sept 20033 Oct 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference9th International Conference on Principles and Practice of Constraint Programming


  • Restriction Variable
  • Constraint Satisfaction
  • Constraint Satisfaction Problem
  • Solution Function
  • Initial Value Problem


Dive into the research topics of 'Constraint satisfaction differential problems'. Together they form a unique fingerprint.

Cite this