Interval tools for ODEs and DAEs

12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, Conference Post-Proceedings

Volumn , Issue , 2006, Pages 4-15

  Nedialkov, Nedialko S ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INITIAL VALUE PROBLEMS;

DIFFERENTIAL ALGEBRAIC EQUATIONS; HUMAN EXPERT; INTERVAL METHODS; LITERATE PROGRAMMING;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 47849117894     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAN.2006.28     Document Type: Conference Paper

References (56)

1. D. Achlioptas. Setting 2 variables at a time yields a new lower bound for random 3-SAT. Technical Report MSR-TR-99-96, Microsoft Research, Microsoft Corp., One Microsoft Way, Redmond, WA 98052, December 1999.
2. G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, New York, 1983.
3. E. Auer, A. Kecskeméthy, M. Tändl, and H. Traczinski. Interval algorithms in modelling of multibody systems. In Numerical Software with Result Verification, volume 2991 of LNCS, pages 132-159. Springer-Verlag, 2004.
4. E. Auer, A. Rauh, E. P. Hofer, and W. Luther. Validated modeling of mechanical systems with SmartMOBILE: Improvement of performance by ValEncIA-IVP. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Springer-Verlag, to appear.
5. R. Barrio. Performance of the Taylor series method for ODEs/DAEs. Appl. Math. Comp., 163:525-545, 2005.
6. R. Barrio. Sensitivity analysis of ODES/DAES using the Taylor series method. SIAM J. Sci. Comput., 27:929-1947, 2006.
7. C. Bendsten and O. Stauning. FADBAD, a flexible C++ package for automatic differentiation using the forward and backward methods. Technical Report 1996-x5-94, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, August 1996.
8. C. Bendsten and O. Stauning. TADIFF, a flexible C++ package for automatic differentiation using Taylor series. Technical Report 1997-x5-94, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, April 1997.
9. M. Berz. COSY INFINITY version 8 reference manual. Technical Report MSUCL-1088, National Superconducting Cyclotron Lab., Michigan State University, East Lansing, Mich., 1997.
10. M. Berz and K. Makino. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing, 4:361-369, 1998.
11. M. Berz, K. Makino, and J. Hoefkens. Verified integration of dynamics in the solar system. Nonlinear Analysis: Theory, Methods & Applications, 47:179-190, 2001.
12. M. Berz, K. Makino, and Y.-K. Kim. Long-term stability of the tevatron by verified global optimization. Nuclear Instruments and Methods, A558:1-10, 2005.
13. K. Brenan, S. Campbell, and L. Petzold. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. SIAM, Philadelphia, second edition, 1996.
14. B. M. Brown, M. Langer, M. Marletta, C. Tretter, and M. Wagenhofer. Eigenvalue bounds for the singular Sturm-Liouville problem with a complex potential. J. Phys. A: Math. Gen., 36(13):3773-3787, April 2003.
15. Y. F. Chang and G. F. Corliss. ATOMFT: Solving ODEs and DAEs using Taylor series. Comp. Math. Appl., 28:209-233, 1994.
16. G. F. Corliss and W. Lodwick. Role of constraints in the validated solution of DAEs. Technical Report 430, Marquette University, Department of Mathematics, Statistics, and Computer Science, Milwaukee, Wisc., March 1996.
17. G. F. Corliss and W. A. Lodwick. Correct computation of solutions of differential algebraic control equations. Zeitschrift für Angewandte Mathematik und Mechanik, special issue Numerical Analysis, Scientific Computing, and Computer Science, pages 37-40, 1996.
18. S. Dietich. Adaptive verifizierte Lösung gewöhnlicher Differentialgleichungen. PhD thesis, University of Karlsruhe, Karlsruhe, Germany, February 2003.
19. P. Eijgenraam. The Solution of Initial Value Problems Using Interval Arithmetic. Mathematical Centre Tracts No. 144. Stichting Mathematisch Centrum, Amsterdam, 1981.
20. A. Griewank and A. Walther. On the efficient generation of Taylor expansions for DAE solutions by automatic differentiation. In J. Dongarra, K. Madsen, and J. Wasniewski, editors, PARA'04, State-of-the-art in scientific computing, volume 3732 of LNCS, pages 1103-1111. Springer-Verlag, 2006.
21. W. Hayes. Rigorous shadowing of numerical solutions of ordinary differential equations by containment. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada, 2001.
22. W. Hayes and K. R. Jackson. Rigorous shadowing of numerical solutions of ordinary differential equations by containment. SIAM J. Numer. Anal., 42(5):1948-1973, 2003.
23. T. E. Hull, W. H. Enright, B. M. Fellen, and A. E. Sedgwick. Comparing numerical methods for ordinary differential equations. SIAMJ. Numer. Anal., 9(4):603-637, December 1972.
24. K. R. Jackson and N. S. Nedialkov. Some recent advances in validated methods for IVPs for ODEs. Appl. Numer. Math., 42:269-284, August 2002.
25. M. Kieffer and E. Walter. Nonlinear parameter and state estimation for cooperative systems in a bounded-error context. In Numerical Software with Result Verification, volume 2991 of LNCS, pages 107-123. Springer-Verlag, 2004.
26. M. Kletting, A. Rauh, H. Aschemann, and E. Hofer. Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process. J. Comput. Appl. Math., 199(2):213-219, 2007.
27. O. Knüppel. PROFIL/BIAS - a fast interval library. Computing, 53(3-4):277-287, 1994.
28. D. E. Knuth and S. Levy. The CWEB System of Structured Documentation. Addison-Wesley, Reading, Massachusetts, 1993.
29. C. kuo Lee. Robust evaluation of differential geometry properties using interval arithmetic techniques. Master's thesis, Massachusetts Institute of Technology, Department of Ocean Engineering, May 2005.
30. M. Lerch, G. Tischler, and J. Wolf von Gudenberg. FILIB++ - interval library specification and reference manual. Technical Report 279, Universität Würzburg, Germany, 2001.
31. Y. Lin and M. A. Stadtherr. Deterministic global optimization for parameter estimation of dynamical systems. Ind. Eng. Chem. Res., 2006. in press.
32. Y. Lin and M. A. Stadtherr. Validated solution of initial value problems for ODEs with interval parameters. In R. L. Muhanna and R. L. Mullen, editors, Proceedings of 2nd NSF Workshop on Reliable Engineering Computing, Savannah, GA, February 2006.
33. R. J. Lohner. Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. PhD thesis, Universität Karlsruhe, 1988.
34. K. Makino and M. Berz. Remainder differential algebras and their applications. In M. Berz, C. Bischof, G. Corliss, and A. Griewank, editors, Computational Differentiation: Techniques, Applications, and Tools, pages 63-74. SIAM, Philadelphia, Penn., 1996.
35. K. Makino and M. Berz. Suppression of the wrapping effect by Taylor model-based validated integrators. Technical Report MSU HEP 40910, Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824, USA, 2004.
36. F. Mazzia and F. Iavernaro. Test set for initial value problem solvers. Technical Report 40, Department of Mathematics, University of Bari, Italy, 2003. http://pitagora.dm.uniba.it/∼testset/.
37. R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1966.
38. H. Mukundan, K. H. Ko, T. Maekawa, T. Sakkalis, and N. M. Patrikalakis. Tracing surface intersections with a validated ODE system solver. In G. Elber and G. Taubin, editors, Proceedings of the Ninth EG/ACM Symposium on Solid Modeling and Applications. Eurographics Press, June 2004, June 2004.
39. N. S. Nedialkov. Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada, M5S 3G4, February 1999.
40. N. S. Nedialkov. VNODE-LP - a validated solver for initial value problems in ordinary differential equations. Technical Report CAS-06-06-NN, Department of Computing and Software, McMaster University, Hamilton, Canada, L8S 4K1, July 2006. VNODE-LP is available at www.cas.mcmaster.ca/∼nedialk/vnodelp/.
41. 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 ordinary differential equation. Reliable Computing, 5(3):289-310, 1999
42. Also in T. Csendes, editor, Developments in Reliable Computing, pp. 289-310, Kluwer, Dordrecht, Netherlands, 1999.
43. N. S. Nedialkov and K. R. Jackson. A new perspective on the wrapping effect in interval methods for initial value problems for ordinary differential equations. In A. Facius, U. Kulisch, and R. Lohner, editors, Perspectives on Enclosure Methods, pages 219-264. Springer-Verlag, Vienna, 2001.
44. N. S. Nedialkov and K. R. Jackson. The design and implementation of a validated object-oriented solver for IVPs for ODEs. Technical Report 6, Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Hamilton, Canada, L8S 4K1, 2002.
45. N. S. Nedialkov, K. R. Jackson, and G. F. Corliss. Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comp., 105(1):21-68, 1999.
46. N. S. Nedialkov, K. R. Jackson, and J. D. Pryce. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliable Computing, 7:449-465, 2001.
47. N. S. Nedialkov and J. D. Pryce. Solving differential-algebraic equations by Taylor series (I): Computing Taylor coefficients. BIT, 45:561-591, 2005.
48. N. S. Nedialkov and J. D. Pryce. Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian. BIT, 2007. To appear.
49. M. Neher, K. R. Jackson, and N. S. Nedialkov. On Taylor model based integration of ODEs. SIAM J. Numer. Anal., 45:236-262, 2007.
50. C. C. Pantelides. The consistent initialization of differential-algebraic systems. SIAM. J. Sci. Stat. Comput., 9:213-231, 1988.
51. N. M. Patrikalakis, T. Maekawa, K. H. Ko, and H. Mukundan. Surface to surface intersection. In L. Piegl, editor, International CAD Conference and Exhibition, CAD'04, Thailand, May 2004.
52. J. D. Pryce. Solving high-index DAEs by Taylor Series. Numerical Algorithms, 19:195-211, 1998.
53. J. D. Pryce. A simple structural analysis method for DAEs. BIT, 41(2):364-394, 2001.
54. N. Ramdani, N. Meslem, T. Raïssi, and Y. Candau. Set-membership identification of continuous-time systems. 14th IFAC Symposium on System Identification, Newcastle, Australia, 2006.
55. O. Stauning. Automatic Validation of Numerical Solutions. PhD thesis, Technical University of Denmark, DK-2800, Lyngby, Denmark, October 1997.
56. O. Stauning and C. Bendtsen. FADBAD++ web page, May 2003. FADBAD++ is available at www.imm.dtu.dk/fadbad.html.