Performance of Taylor model methods for validated integration of ODEs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3732 LNCS, Issue , 2006, Pages 65-74

  Berz, Martin ^a   Makino, Kyoko ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYMPTOTIC STABILITY; COMPUTATION THEORY; INTEGRATION; MATHEMATICAL MODELS; NATURAL SCIENCES COMPUTING;

COMPUTATIONAL PROBLEMS; NON-VALIDATED INTEGRATORS; NONLINEAR PROBLEMS; TAYLOR MODEL (TM);

DIFFERENTIAL EQUATIONS;

EID: 33745309007     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11558958_8     Document Type: Conference Paper

References (15)

1. K. Makino and M. Berz. Efficient control of the dependency problem based on Taylor model methods. Reliable Computing, 5(1):3-12, 1999.
2. K. Makino and M. Berz. Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics, 6,3:239-316, 2003, available at http://bt.pa.msu.edu/pub.
3. M. Berz and K. Makino. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing, 4(4):361-369, 1998.
4. K. Makino. Rigorous Analysis of Nonlinear Motion in Particle Accelerators. PhD thesis, Michigan Slate University, East Lansing, Michigan, USA, 1998. Also MSUCL-1093.
5. M. Berz. Modern Map Methods in Particle Beam Physics. Academic Press, San Diego, 1999. Also available at http://bt.pa.msu.edu/pub.
6. K. Makino and M. Berz. Perturbative equations of motion and differential operators in non-planar curvilinear coordinates. International Journal of Applied Mathematics, 3,4:421-440, 2000.
7. M. Berz and K. Makino. Preservation of canonical structure in nonplanar curvilinear coordinates. International Journal of Applied Mathematics, 3,4:401-419, 2000.
8. M. Berz. Arbitrary order description of arbitrary particle optical systems. Nuclear Instruments and Methods, A298:426, 1990.
9. K. Makino and M. Berz. Suppression of the wrapping effect by Taylor model based validated integrators, submitted. Also MSUHEP-40910, available at http://bt.pa.msu.edu/pub.
10. R. J. Lohner. Enclosing the solutions of ordinary initial and boundary value problems. In E. Kaucher, U. Kulisch, and C. Ullrich, editors, Computer Arithmetic: Scientific Computation and Programming Languages, pages 255-286. Teubner, Stuttgart, 1987.
11. R. J. Lohner. Einschliessung der Losung gewohnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation, Fakultät für Mathematik, Universitat Karlsruhe, 1988.
12. R. J. Lohnen AWA - Software for the computation of guaranteed bounds for solutions of ordinary initial value problems.
13. K. Makino and M. Berz. The method of shrink wrapping for the validated solution of ODEs. Technical Report MSUHEP-20510, Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824, 2002.
14. W. F. Ames and E. Adams. Monotonically convergent numerical two-sided, bounds for a differential birth and death process. In K. Nickel, editor, Interval Mathematics, volume 29 of Lecture Notes in Computer Science, pages 135-140, Berlin; New York, 1975. Springer-Verlag.
15. R. E. Moore. Methods and Applications of Interval Analysis. SIAM, 1979.