Consistency Techniques in Ordinary Differential Equations

Authors:
Yves Deville;Micha Janssen;Pascal Van Hentenryck
Affiliations:
Université catholique de Louvain, Pl. Ste Barbe 2, B-1348 Louvain-la-Neuve, Belgium yde@info.ucl.ac.be;Université catholique de Louvain, Pl. Ste Barbe 2, B-1348 Louvain-la-Neuve, Belgium mja@info.ucl.ac.be;Box 1910, Brown University, Providence, RI 02912, USA pvh@cs.brown.edu
Venue:
Constraints
Year:
2002

Citing 8
Cited 3

Applications of differentiation arithmetic

Reliability in computing: the role of interval methods in scientific computing
A gentle introduction to NUMERICA

Artificial Intelligence - Special issue: artificial intelligence 40 years later
Ordinary Differential Equations

Ordinary Differential Equations
A Constraint Satisfaction Approach to a Circuit Design Problem

Journal of Global Optimization
Multistep Filtering Operators for Ordinary Differential Equations

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation

Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

Reliable Implementation of Real Number Algorithms: Theory and Practice
A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accuracy problems typically exhibited by these methods, while trying to preserve their efficiency. It proposes to generalize interval techniques into a two-step process: a forward process that computes an enclosure and a backward process that reduces this enclosure. Consistency techniques apply naturally to the backward (pruning) step but can also be applied to the forward phase. The paper describes the framework, studies the various steps in detail, proposes a number of novel techniques, and gives some preliminary experimental results to indicate the potential of this new research avenue.