Controlling the wrapping effect in the solution of ODEs for asteroids

Reliable Computing

Volumn 9, Issue 1, 2003, Pages 21-41

  Hoefkens, Jens ^a   Berz, Martin ^a   Makino, Kyoko ^b  

^a MICHIGAN STATE UNIVERSITY   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAVITATION; INTEGRATION; LINEAR SYSTEMS; ORBITS; POLYNOMIAL APPROXIMATION; SOLAR SYSTEM; VELOCITY;

ASTEROID ORBITS; WRAPPING EFFECTS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 0037292813     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1023009910949     Document Type: Article

References (26)

1. Berz, M. and Hoffstätter, G.: Computation and Application of Taylor Polynomials with Interval Remainder Bounds, Reliable Computing 4 (1) (1998), pp. 83-97.
2. Berz, M. and Makino, K.: Verified Integration of ODEs and Flows with Differential Algebraic Methods on Taylor Models, Reliable Computing 4 (4) (1998), pp. 361-369.
3. Fock, V.: The Theory of Space Time and Gravitation, Pergamon Press, 1959.
4. Goldstein, H.: Classical Mechanics, Addison-Wesley, Reading, 1980.
5. Hoefkens, J.: Rigorous Numerical Analysis with High-Order Taylor Models, Ph.D. thesis, Michigan State University, East Lansing, 2001, also MSUCL-1217.
6. Hohnerkamp, J. and Römer, H.: Klassische Theoretische Physik, Springer Verlag, Berlin, third edition, 1993.
7. Kühn, W.: Rigorously Computed Orbits of Dynamical Systems without the Wrapping Effect, Computing 61 (1998), pp. 47-67.
8. Kühn, W.: Towards an Optimal Control of the Wrapping Effect, in: Csendes, T. (ed.), Developments in Reliable Computing, Kluwer Academic Publishers, 2000.
9. Jet Propulsion Laboratory: Solar System Dynamics Group, 2001, http://ssd.jpl.nasa.gov/.
10. Levi-Civita, T.: The n-Body Problem in General Relativity, D. Reidel, Dordrecht, 1964.
11. Lohner, R. J.: Computation of Guaranteed Enclosures for the Solutions of Ordinary Initial and Boundary Value Problems, in: Cash, J. R. and Gladwel, I. (eds), Computational Ordinary Differential Equations, Clarendon Press, Oxford, 1992, pp. 425-435.
12. Lohner, R. J.: Enclosing the Solutions of Ordinary Initial and Boundary Value Problems, in: Kaucher, E. W., Kulisch, U. W., and Ullrich, Ch. (eds), Computer Arithmetic: Scientific Computation and Programming Languages, Wiley-Teubner Series in Computer Science, Stuttgart, 1987, pp. 255-286.
13. Makino, K.: Rigorous Analysis of Nonlinear Motion in Particle Accelerators, Ph.D. thesis, Michigan State University, East Lansing, Michigan, 1998, also MSUCL-1093.
14. Makino, K. and Berz, M.: Efficient Control of the Dependency Problem Based on Taylor Model Methods, Reliable Computing 5 (1) (1999), pp. 3-12.
15. Makino, K. and Berz, M.: Remainder Differential Algebras and Their Applications, in: Berz, M., Bischof, C., Corliss, G., and Griewank, A. (eds), Computational Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia, 1996, pp. 63-74.
16. Moore, R. E.: Interval Analysis, Prentice Hall, Englewood Cliffs, 1966.
17. Moore, R. E.: Interval Arithmetic and Automatic Error Analysis in Digital Computing, Ph.D. thesis, Stanford University, 1962.
18. Moore, R. E.: Private communication, 1998.
19. Nedialkov, N. S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, Ph.D. thesis, University of Toronto, 1999.
20. Seidelmann, P. K.: Explanatory Supplement to the Astronomical Almanac, University Science Books, Mill Valley, 1992.
21. Solar System Dynamics Group: The HORIZONS On-Line Ephemeris System, Solar System Dynamics Group at JPL, NASA, 2000, ftp://ssd.jpl.nasa.gov/pub/ssd/Horizons_doc.ps, version 2.80.
22. Standish, E. M.: JPL Planetary and Lunar Ephemerides, DE405/LE405, Jet Propulsion Laboratory, Interoffice Memorandum, IOM 312, F-98-048, 1998.
23. Verschuur, G. L.: Impact!: The Threat of Comets and Asteroids, Oxford University Press, 1996.
24. Walster, W.: Compiler Support to Compute Sharp Intervals without Wasted Splitting, in: Corliss, G. F., Faure, C., Griewank, A., Hascoët, L., and Naumann, U. (eds), Automatic Differentiation: From Simulation to Optimization, Springer Verlag, New York, 2001.
25. Will, C. M.: The Theoretical Tools of Experimental Gravitation, in: Bertotti, B. (ed.), Experimental Gravitation, Proceedings of the International School of Physics "Enrico Fermi"-Course LVI, Academic Press, New York, 1974, pp. 1-110.
26. Yeomans, D. K.: Comet and Asteroid Ephemerides for Spacecraft Encounters, Celestial Mechanics and Dynamical Astronomy (1997), pp. 1-12.