Constraint satisfaction differential problems

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

11 Citations (Scopus)

Abstract

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
Pages259-273
Number of pages15
Volume2833
ISBN (Electronic)978-3-540-45193-8
ISBN (Print)978-3-540-20202-8
DOIs
Publication statusPublished - 2003
Event9th International Conference on Principles and Practice of Constraint Programming: CP 2003 - Kinsale, Ireland
Duration: 29 Sep 20033 Oct 2003

Publication series

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

Conference

Conference9th International Conference on Principles and Practice of Constraint Programming
CountryIreland
CityKinsale
Period29/09/033/10/03

Keywords

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

Fingerprint

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

Cite this