@inproceedings{beeb584ca8ab4fbdadd530253156e941,
title = "Constraint satisfaction differential problems",
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.",
keywords = "Restriction Variable, Constraint Satisfaction, Constraint Satisfaction Problem, Solution Function, Initial Value Problem",
author = "Jorge Cruz and Pedro Barahona",
year = "2003",
doi = "10.1007/978-3-540-45193-8_18",
language = "English",
isbn = "978-3-540-20202-8",
volume = "2833",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "259--273",
editor = "Francesca Rossi",
booktitle = "Principles and Practice of Constraint Programming – CP 2003",
address = "Germany",
note = "9th International Conference on Principles and Practice of Constraint Programming : CP 2003 ; Conference date: 29-09-2003 Through 03-10-2003",
}