Verified interval orbit propagation provides mathematically guaranteed solutions of satellite position and velocity over time. These verified solutions are useful for conjunction analysis and other space-situational-awareness activities. Unfortunately, verified methods suffer from overestimation and explosive interval growth, limiting the possible propagation time and thus their applicability. Different orbital-element state models have been shown to increase the maximum propagation time to a degree, but at the expense of significant overestimation introduced by the state transformations. This paper proposes the Dromo state model for verified integration. Dromo is a regularized variation-of-parameter formulation of the perturbed two-body equations of motion. Taylor models are implemented for both integration and transformation. Moreover, a technique is developed for dealing with time uncertainty resulting from verified regularized propagation. Dromo significantly prolongs the maximum forecasting window, producing verified trajectories of days up to weeks in duration for the low Earth orbit regime. A sensitivity analysis of the integrator settings identifies combinations that produce stable and computationally efficient solutions. A sensitivity study of the orbital parameters shows that the method is applicable to a large orbital regime, especially for low Earth orbit regions that contain high densities of space debris.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verified Regularized Interval Orbit Propagation


    Contributors:
    Geul, Jacco (author) / Mooij, Erwin (author) / Noomen, Ron (author)

    Published in:

    Publication date :

    2021-02-08


    Size :

    13 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Verified Interval Orbit Propagation in Satellite Collision Avoidance

    Romgens, B. / Mooij, E. / Naeije, M. et al. | British Library Conference Proceedings | 2011


    Verified Interval Orbit Propagation in Satellite Collision Avoidance

    Römgens, Bart / Mooij, Erwin / Naeije, Marc | AIAA | 2011



    Satellite Collision Avoidance Prediction Using Verified Interval Orbit Propagation

    Römgens, Bart / Mooij, Erwin / Naeije, Marc | AIAA | 2013


    Sensitivity Analysis of Regularized Orbit Formulations with Interval Arithmetic

    Urrutxua, Hodei / Souied, Youssef / Peláez, Jesús | TIBKAT | 2019