Optimal Pruning in Parametric Differential Equations

  • Micha Janssen
  • Pascal Van Hentenryck
  • Yves Deville
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2239)


Initial value problems for parametric ordinary differential equations (ODEs) arise in many areas of science and engineering. Since some of the data is uncertain, traditional numerical methods do not apply. This paper considers a constraint satisfaction approach that enhances traditional interval methods with a pruning component which uses a relaxation of the ODE and Hermite interpolation polynomials. It solves the main theoretical and practical open issue left in this approach: the choice of an optimal evaluation time for the relaxation. As a consequence, the constraint satisfaction approach is shown to provide a quadratic (asymptotical) improvement in accuracy over the best interval methods, while improving their running times. Experimental results confirm the theoretical results.


Local Error Interpolation Point Interval Method Predictor Process Interval Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Atk88]
    K. E. Atkinson. An introduction to Numerical Analysis. JohnWiley & Sons, 1988.Google Scholar
  2. [Ber98]
    Berz, M. and Makino, K.Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. Reliable Computing, 4:361–369, 1998.zbMATHCrossRefMathSciNetGoogle Scholar
  3. [BS97]
    C. Bendsten and O. Stauning. TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series. Technical Report 1997-x5-94, Technical University of Denmark, April 1997.Google Scholar
  4. [CB99]
    J. Cruz, and P. Barahona. An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. EKBD-99, 93–108, 1999.Google Scholar
  5. [CR96]
    G. F. Corliss and R. Rihm.Validating an a Priori Enclosure Using High-OrderTaylor Series. In Scientific Computing, Computer Arithmetic, and Validated Numerics, 1996.Google Scholar
  6. [DJVH98]
    Y. Deville, M. Janssen, and P. Van Hentenryck. Consistency Techniques in Ordinary Differential Equations. In CP’98, Pisa, Italy, October 1998.Google Scholar
  7. [Eij81]
    Eijgenraam, P. The Solution of Initial Value Problems Using Interval Arithmetic. Mathematical Centre Tracts No. 144. Stichting Mathematisch Centrum, Amsterdam, 1981.Google Scholar
  8. [Enr75]
    W. H. Enright, T. E. Hull, and B. Lindberg. Comparing Numerical Methods for Stiff Systems of ODEs. BIT, 15:10–48, 1975.zbMATHCrossRefGoogle Scholar
  9. [Gri72]
    R. D. Grigorieff. Numerik gewöhnlicher Differentialgleichungen 1. Teubner, 1972.Google Scholar
  10. [HNW87]
    E. Hairer, S.P. Nørsett, G. Wanner. Solving Ordinary Differential Equations I. Springer-Verlag, Berlin, 1987.zbMATHGoogle Scholar
  11. [JDVH99]
    M. Janssen, Y. Deville, and P. Van Hentenryck. Multistep Filtering Operators for Ordinary Differential Equations. In CP’99, Alexandria, VA, October 1999.Google Scholar
  12. [JVHD01a]
    M. Janssen, P. Van Hentenryck, and Y. Deville A Constraint Satisfaction Approach to Parametric Differential Equations In IJCAI-2001, Seattle, WA, August 2001.Google Scholar
  13. [Knu94]
    O. Knüppel. PROFIL/BIAS-A Fast Interval Library. Computing, 53(3–4), 1994.Google Scholar
  14. [Kru69]
    Krueckeberg, F. Ordinary Differential Equations. In E. Hansen, editor, Topics in Interval Analysis, page 91–97. Clarendon Press, Oxford, 1969.Google Scholar
  15. [Loh87]
    Lohner R. J. Enclosing the Solutions of Ordinary Initial and BoundaryValue Problems. In Computer Arithmetic,Wiley, 1987.Google Scholar
  16. [Moo66]
    R.E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1966.Google Scholar
  17. [Ned99]
    N. S. Nedialkov. Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, Ph.D. Thesis, Univ. of Toronto, 1999.Google Scholar
  18. [NJ99]
    N.S. Nedialkov and K.R. Jackson. An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an ODE, Developments in Reliable Computing, Kluwer, 1999.Google Scholar
  19. [Per00]
    L. Perko. Differential Equations and Dynamical Systems. Springer-Verlag, 2000.Google Scholar
  20. [Rih98]
    R. Rihm. Implicit Methods for Enclosing Solutions of ODEs. J. of Universal Computer Science, 4(2), 1998.Google Scholar
  21. [SB80]
    J. Stoer and R. Bulirsch. Introduction to Numerical Analysis. Springer-Verlag, 1980.Google Scholar
  22. [VHMD97]
    P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: a Modeling Language for Global Optimization. The MIT Press, Cambridge, Mass., 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Micha Janssen
    • 1
  • Pascal Van Hentenryck
    • 2
  • Yves Deville
    • 1
  1. 1.UCLLouvain-La-NeuveBelgium
  2. 2.Brown UniversityProvidence

Personalised recommendations