Validated solutions of initial value problems for parametric ODEs

Applied Numerical Mathematics

Volumn 57, Issue 10, 2007, Pages 1145-1162

  Lin, Youdong ^a   Stadtherr, Mark A ^a  

^a University of Notre Dame   (United States)

Author keywords

Dynamic systems; Interval analysis; Ordinary differential equations; Taylor models; Validated computing

Indexed keywords

DYNAMICAL SYSTEMS; NUMERICAL METHODS; ORDINARY DIFFERENTIAL EQUATIONS; PARAMETER ESTIMATION; PROBLEM SOLVING; SOFTWARE PACKAGES;

INTERVAL ANALYSIS; TAYLOR MODELS; VALIDATED COMPUTING;

INITIAL VALUE PROBLEMS;

EID: 34047210346     PISSN: 01689274     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apnum.2006.10.006     Document Type: Article

References (35)

1. C. Bendsten, O. Stauning, FADBAD, a flexible C++ package for automatic differentiation using the forward and backward methods, Technical Report 1996-x5-94, Technical University of Denmark, Lyngby, Denmark, 1996
2. C. Bendsten, O. Stauning, TADIFF, a flexible C++ package for automatic differentiation using Taylor series, Technical Report 1997-x5-94, Technical University of Denmark, Lyngby, Denmark, 1997
3. Berz M., and Makino K. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing 4 (1998) 361-369
4. Corliss G.F., and Rihm R. Validating an a priori enclosure using high-order Taylor series. In: Alefeld G., Frommer A., and Lang B. (Eds). Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN'95) (1995), Akademie Verlag, Berlin
5. Eijgenraam P. The Solution of Initial Value Problems Using Interval Arithmetic. Mathematical Centre Tracts vol. 144 (1981), Stichting Mathematisch Centrum, Amsterdam
6. Hansen E., and Walster G.W. Global Optimization Using Interval Analysis (2004), Marcel Dekker, New York
7. Janssen M., Hentenryck P.V., and Deville Y. A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. SIAM J. Numer. Anal. 40 (2002) 1896-1939
8. Jaulin L., Kieffer M., Didrit O., and Walter E. Applied Interval Analysis (2001), Springer, London
9. Kearfott R.B. Rigorous Global Search: Continuous Problems (1996), Kluwer Academic, Dordrecht
10. Y. Lin, M.A. Stadtherr, Deterministic global optimization for parameter estimation of dynamic systems, Ind. Eng. Chem. Res., in press
11. Y. Lin, M.A. Stadtherr, Guaranteed nonlinear state and parameter estimation for continuous-time systems, Automatica, submitted for publication
12. Y. Lin, M.A. Stadtherr, Deterministic global optimization of nonlinear dynamic systems, AIChE J., in press
13. Lin Y., and Stadtherr M.A. Validated solution of ODEs with parametric uncertainties. Computer-Aided Chem. Engrg. 21 (2006) 167-172
14. Y. Lin, M.A. Stadtherr, Fault detection in continuous-time systems with uncertain parameters, in: American Control Conference, New York, NY, 2007, submitted for publication
15. Lohner R.J. Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher C.U.E., and Kulisch U. (Eds). Computer Arithmetic: Scientific Computation and Programming Languages (1987), Teubner, Stuttgart
16. R.J. Lohner, Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaugfgaben und Anwendungen, PhD thesis, Universität Karlsruhe, Karlsruhe, Germany, 1988
17. R.J. Lohner, Step size and order control in the verified solution of IVP with ODE's, in: SciCADE'95 International Conference on Scientific Computation and Differential Equations, Stanford University, Stanford, CA, 1995
18. Lorenz E.N. Deterministic non-periodic flow. J. Atmospheric Sci. 20 (1963) 130-141
19. K. Makino, Rigorous analysis of nonlinear motion in particle accelerators, PhD thesis, Michigan State University, East Lansing, MI, 1998
20. Makino K., and Berz M. Remainder differential algebras and their applications. In: Berz M., Bishof C., Corliss G., and Griewank A. (Eds). Computational Differentiation: Techniques, Application, and Tools (1996), SIAM, Philadelphia, PA
21. Makino K., and Berz M. Efficient control of the dependency problem based on Taylor model methods. Reliable Computing 5 (1999) 3-12
22. K. Makino, M. Berz, Suppression of the wrapping effect by Taylor model-based validated integrators, Technical Report MSUHEP 40910, Michigan State University, Lansing, MI, 2003
23. Makino K., and Berz M. Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 4 (2003) 379-456
24. K. Makino, M. Berz, Taylor model range bounding schemes, in: Third International Workshop on Taylor Methods, Miami Beach, 2004
25. Moore R.E. Interval Analysis (1966), Prentice-Hall, Englewood Cliffs, NJ
26. N.S. Nedialkov, Computing rigorous bounds on the solution of an initial value problems for an ordinary differential equation, PhD thesis, University of Toronto, Toronto, Canada, 1999
27. Nedialkov N.S., and Jackson K.R. Some recent advances in validated methods for IVPs for ODEs. Appl. Numer. Math. 42 (2002) 269-284
28. Nedialkov N.S., Jackson K.R., and Corliss G.F. Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105 (1999) 21-68
29. Nedialkov N.S., Jackson K.R., and Pryce J.D. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliable Computing 7 (2001) 449-465
30. M. Neher, K.R. Jackson, N.S. Nedialkov, On Taylor model based integration of ODEs, Technical Report, Department of Computer Science, University of Toronto, Toronto, Canada, 2005
31. Neumaier A. Interval Methods for Systems of Equations (1990), Cambridge University Press, Cambridge
32. Neumaier A. Taylor forms-use and limits. Reliable Computing 9 (2002) 43-79
33. Revol N., Makino K., and Berz M. Taylor models and floating point arithmetic: proof that arithmetic operations are bounded in COSY. J. Logic Algebr. Progr. 64 (2005) 135-154
34. A.B. Singer, Global dynamic optimization, PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 2004
35. Singer A.B., and Barton P.I. Bounding the solutions of parameter dependent nonlinear ordinary differential equations. SIAM J. Sci. Comput. 27 (2006) 2167-2182