Rigorous computation of orbital conjunctions

The manuscript addresses the problem of computing conjunctions either between Near Earth Objects and our planet or space debris and operative spacecraft. The problem is formulated as a global optimization problem, solved rigorously using Taylor models. With this technique, narrow bounds of the objective function are computed on sub-portions of the search space by combining high order Taylor approximations of the function with interval enclosures of the remainder terms. An algorithm based on differential algebra is then presented to nonlinearly describe the effect that uncertainties on the initial states produce on the time and distance of closest approach. This is represented with high order Taylor maps which can be potentially used for the implementation of innovative algorithms for risk assessment, avoiding the main assumptions of current approaches. Asteroid Apophis and a threatening condition between two geostationary satellites are considered as examples to analyze the features of the proposed methods.

[1]  Martin Berz,et al.  Efficient Control of the Dependency Problem Based on Taylor Model Methods , 1999, Reliab. Comput..

[2]  Martin Berz,et al.  Long-term stability of the Tevatron by verified global optimization , 2006 .

[3]  Kyoko Makino,et al.  Rigorous analysis of nonlinear motion in particle accelerators , 1998 .

[4]  S. Chesley,et al.  Asteroid Close Approaches: Analysis and Potential Impact Detection , 2002 .

[5]  Martin Berz,et al.  Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization , 2010 .

[6]  Martin Berz,et al.  Verified global optimization with Taylor model based range bounders , 2005 .

[7]  Andreas Griewank,et al.  Automatic Differentiation of Algorithms: From Simulation to Optimization , 2000, Springer New York.

[8]  R. B. Kearfott Rigorous Global Search: Continuous Problems , 1996 .

[9]  P. W. Hawkes,et al.  Modern map methods in particle beam physics , 1999 .

[10]  H. Klinkrad Space Debris: Models and Risk Analysis , 2006 .

[11]  S. Chesley,et al.  Asteroid close encounters with Earth: risk assessment , 2000 .

[12]  T. S. Kelso,et al.  Satellite orbital conjunction reports assessing threatening encounters in space (SOCRATES) , 2006, SPIE Defense + Commercial Sensing.

[13]  P. Di Lizia,et al.  Rigorous global optimization of impulsive planet-to-planet transfers in the patched-conics approximation , 2012 .

[14]  Donald W. Phillion,et al.  Monte Carlo Method for Collision Probability Calculations Using 3D Satellite Models , 2010 .

[15]  T. S. Kelso,et al.  Revisiting Spacetrack Report #3 , 2006 .

[16]  Giovanni F. Gronchi,et al.  An Algebraic Method to Compute the Critical Points of the Distance Function Between Two Keplerian Orbits , 2005 .

[17]  Distance Between Two Arbitrary Unperturbed Orbits , 2005 .

[18]  M. Berz,et al.  Asteroid close encounters characterization using differential algebra: the case of Apophis , 2010 .

[19]  Paul W. Schumacher,et al.  History of Analytical Orbit Modeling in the U.S. Space Surveillance System , 2004 .

[20]  Heiner Klinkrad,et al.  Development of a collision risk assessment tool , 2002 .

[21]  M. Berz,et al.  TAYLOR MODELS AND OTHER VALIDATED FUNCTIONAL INCLUSION METHODS , 2003 .

[22]  Martin Berz,et al.  Computational differentiation : techniques, applications, and tools , 1996 .

[23]  Holger Krag,et al.  ESA’s process for the identification and assessment of high-risk conjunction events , 2009 .