Constraint propagation with interval labels
Artificial Intelligence
Practical methods of optimization; (2nd ed.)
Practical methods of optimization; (2nd ed.)
New computer methods for global optimization
New computer methods for global optimization
VODE: a variable-coefficient ODE solver
SIAM Journal on Scientific and Statistical Computing
Numerical methods for ordinary differential systems: the initial value problem
Numerical methods for ordinary differential systems: the initial value problem
Constraint reasoning based on interval arithmetic: the tolerance propagation approach
Artificial Intelligence - Special volume on constraint-based reasoning
Numerical recipes in C (2nd ed.): the art of scientific computing
Numerical recipes in C (2nd ed.): the art of scientific computing
Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems
Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems
Constraint arithmetic on real intervals
Constraint logic programming
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
An introduction to the mathematics of biology: with computer algebra models
An introduction to the mathematics of biology: with computer algebra models
Matrix computations (3rd ed.)
Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
Applied numerical linear algebra
Applied numerical linear algebra
The essence of constraint propagation
Theoretical Computer Science
Iterative solution of nonlinear equations in several variables
Iterative solution of nonlinear equations in several variables
Revising hull and box consistency
Proceedings of the 1999 international conference on Logic programming
Synthesizing constraint expressions
Communications of the ACM
Numerical Initial Value Problems in Ordinary Differential Equations
Numerical Initial Value Problems in Ordinary Differential Equations
Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations
Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations
Optimization Software Guide
Pascal-XSC: Language Reference with Examples
Pascal-XSC: Language Reference with Examples
Computer Methods for Mathematical Computations
Computer Methods for Mathematical Computations
Ordinary Differential Equations
Ordinary Differential Equations
A Constraint Satisfaction Approach to a Circuit Design Problem
Journal of Global Optimization
Extending Consistent Domains of Numeric CSP
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Handling Differential Equations with Constraints for Decision Support
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Interval Constraint Logic Programming
Selected Papers from Constraint Programming: Basics and Trends
Applying Constraint Programming to Protein Structure Determination
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Multistep Filtering Operators for Ordinary Differential Equations
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Optimal Pruning in Parametric Differential Equations
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Heterogeneous Constraint Solving
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
A Causal-Functional Model Applied to EMG Diagnosis
AIME '97 Proceedings of the 6th Conference on Artificial Intelligence in Medicine in Europe
Combining Local Consistency, Symbolic Rewriting and Interval Methods
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
Numerical Methods for Unconstrained Optimization and Nonlinear Equations (Classics in Applied Mathematics, 16)
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Handbook for Automatic Computation: Linear Algebra (Grundlehren Der Mathematischen Wissenschaften, Vol 186)
A constraint satisfaction approach to parametric differential equations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Improved bounds on the complexity of kB-consistency
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A tabu search method for interval constraints
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Hi-index | 0.00 |
The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.