Verified interval integration methods enclose a solution set corresponding to interval initial values and parameters, and bound integration and rounding errors. Verified interval orbit propagation uses verified integration to create guaranteed satellite trajectory enclosures. An orbit propagator has been developed using two verified-integration libraries, VNODE-LP and VSPODE, and three state models: Cartesian coordinates, modified equinoctial elements, and unified state model. Earth–satellite trajectories propagated using VSPODE can continue for 2–3 times longer than those propagated using VNODE-LP before the solution enclosures become larger than . Furthermore, using a hybrid state model of the unified state model and modified equinoctial elements, the integration can continue a factor 4–10 longer than the Cartesian model. The exact improvements depend on initial interval widths and the orbit type. This propagator is used to develop collision-prediction software, which uses intersections of interval trajectories to detect possible collisions between satellites. Verified collision prediction has successfully been applied to reconstruct the two-satellite collision of Cosmos-2251 and Iridium-33. It was also successfully applied to the 92-satellite Iridium constellation. This demonstrated the feasibility of verified collision prediction and demonstrated the necessary improvements for real applications with a much larger number of objects.
Satellite Collision Avoidance Prediction Using Verified Interval Orbit Propagation
Journal of Guidance, Control, and Dynamics ; 36 , 3 ; 821-832
2013-03-21
12 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Satellite Collision Avoidance Prediction Using Verified Interval Orbit Propagation
Online Contents | 2013
|Verified Interval Orbit Propagation in Satellite Collision Avoidance
British Library Conference Proceedings | 2011
|Verified Regularized Interval Orbit Propagation
AIAA | 2021
|A Brain Wave-Verified Driver Alert System for Vehicle Collision Avoidance
SAE Technical Papers | 2021
|