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 10 9 km 3 . 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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Satellite Collision Avoidance Prediction Using Verified Interval Orbit Propagation


    Beteiligte:
    Römgens, Bart (Autor:in) / Mooij, Erwin (Autor:in) / Naeije, Marc (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2013-03-21


    Format / Umfang :

    12 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    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


    Verified Regularized Interval Orbit Propagation

    Geul, Jacco / Mooij, Erwin / Noomen, Ron | AIAA | 2021


    A Brain Wave-Verified Driver Alert System for Vehicle Collision Avoidance

    Eskandarian, Azim / Zhang, Ce / Riyahi, Pouria | SAE Technical Papers | 2021