Browse our site
You are here:
Constraint Reasoning for Differential Models
CENTRIA seminar: Constraint Reasoning for Differential Models
CMA - Centro de Matemática e e Aplicações
Wednesday, 3rd of June 2009, 11h30
FCT/UNL, 1.6 (***Ed. VII***)
Continuous constraint programming is a powerful framework to model and support reasoning for a wide range of decision problems characterized by a set of nonlinear constraints between real valued variables. Uncertainty is represented by intervals of possible values and efficient constraint propagation techniques are used to narrow the bounds of such intervals, eliminating values that assuredly do not satisfy the model constraints. Traditionally the constraint model is specified as a set of nonlinear equations and inequalities which may be inadequate to model dynamical systems. System dynamics is naturally expressed by means of differential equations. This talk will present work done to extend continuous constraint programming for handling differential models. In the extended framework, ordinary differential equations may be included as constraints together with additional information such as initial and boundary conditions or other conditions of interest usually associated with differential problems.
Jorge Cruz is (since November 2003) an Assistant Professor of Computer Science in the Department of Computer Science of the FCT/UNL. He obtained his PhD in Computer Science at the UNL in 2003, with the dissertation "Constraint Reasoning for Differential Models" supervised by Prof. Pedro Barahona. Before that, he obtained an MSc in Computer Science at the UNL in 1995 and is a Computer Science Engineer since 1989. His primary research interests include: nonlinear constraints over continuous domains, uncertainty representation and reasoning with interval constraints, constraints for differential equations, probabilistic constraint reasoning.
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541