Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach

Gilles Nies, Marvin Stenger, Jan Krčál, H. Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn R.H.M. Haverkort, M.R. Jongerden, K.G. Larsen, Erik R. Wognsen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    128 Downloads (Pure)

    Abstract

    When working with space systems the keyword is resources. For a satellite in orbit all resources are sparse and the most critical resource of all is power. It is therefore crucial to have detailed knowledge on how much power is available for an energy harvesting satellite in orbit at every time – especially when in eclipse, where it draws its power from onboard batteries. This paper addresses this problem by a two-step procedure to perform task scheduling for low-earth-orbit (LEO) satellites exploiting formal methods. It combines cost-optimal reachability analyses of priced timed automata networks with a realistic kinetic battery model capable of capturing capacity limits as well as stochastic fluctuations. The procedure is in use for the automatic and resource-optimal day-ahead scheduling of G OM X-3 , a power-hungry nanosatellite currently orbiting the earth. We explain how this approach has overcome existing problems, has led to improved designs, and has provided new insights.
    Original languageUndefined
    Title of host publicationProceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4
    Place of PublicationFrance
    PublisherInternational Astronautical Federation
    Pages1-15
    Number of pages15
    ISBN (Print)not assigned
    Publication statusPublished - Sep 2016

    Publication series

    Name
    PublisherInternational Astronautical Federation

    Keywords

    • EWI-27184
    • IR-101995
    • METIS-319439

    Cite this

    Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., ... Wognsen, E. R. (2016). Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. In Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4 (pp. 1-15). France: International Astronautical Federation.
    Nies, Gilles ; Stenger, Marvin ; Krčál, Jan ; Hermanns, H. ; Bisgaard, Morten ; Gerhardt, David ; Haverkort, Boudewijn R.H.M. ; Jongerden, M.R. ; Larsen, K.G. ; Wognsen, Erik R. / Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4. France : International Astronautical Federation, 2016. pp. 1-15
    @inproceedings{2986ce7b7b2347018e2063cbfe113b62,
    title = "Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach",
    abstract = "When working with space systems the keyword is resources. For a satellite in orbit all resources are sparse and the most critical resource of all is power. It is therefore crucial to have detailed knowledge on how much power is available for an energy harvesting satellite in orbit at every time – especially when in eclipse, where it draws its power from onboard batteries. This paper addresses this problem by a two-step procedure to perform task scheduling for low-earth-orbit (LEO) satellites exploiting formal methods. It combines cost-optimal reachability analyses of priced timed automata networks with a realistic kinetic battery model capable of capturing capacity limits as well as stochastic fluctuations. The procedure is in use for the automatic and resource-optimal day-ahead scheduling of G OM X-3 , a power-hungry nanosatellite currently orbiting the earth. We explain how this approach has overcome existing problems, has led to improved designs, and has provided new insights.",
    keywords = "EWI-27184, IR-101995, METIS-319439",
    author = "Gilles Nies and Marvin Stenger and Jan Krč{\'a}l and H. Hermanns and Morten Bisgaard and David Gerhardt and Haverkort, {Boudewijn R.H.M.} and M.R. Jongerden and K.G. Larsen and Wognsen, {Erik R.}",
    note = "https://iafastro.directory/iac/paper/id/35160/summary/",
    year = "2016",
    month = "9",
    language = "Undefined",
    isbn = "not assigned",
    publisher = "International Astronautical Federation",
    pages = "1--15",
    booktitle = "Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4",

    }

    Nies, G, Stenger, M, Krčál, J, Hermanns, H, Bisgaard, M, Gerhardt, D, Haverkort, BRHM, Jongerden, MR, Larsen, KG & Wognsen, ER 2016, Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. in Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4. International Astronautical Federation, France, pp. 1-15.

    Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. / Nies, Gilles; Stenger, Marvin; Krčál, Jan; Hermanns, H.; Bisgaard, Morten; Gerhardt, David; Haverkort, Boudewijn R.H.M.; Jongerden, M.R.; Larsen, K.G.; Wognsen, Erik R.

    Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4. France : International Astronautical Federation, 2016. p. 1-15.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    TY - GEN

    T1 - Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach

    AU - Nies, Gilles

    AU - Stenger, Marvin

    AU - Krčál, Jan

    AU - Hermanns, H.

    AU - Bisgaard, Morten

    AU - Gerhardt, David

    AU - Haverkort, Boudewijn R.H.M.

    AU - Jongerden, M.R.

    AU - Larsen, K.G.

    AU - Wognsen, Erik R.

    N1 - https://iafastro.directory/iac/paper/id/35160/summary/

    PY - 2016/9

    Y1 - 2016/9

    N2 - When working with space systems the keyword is resources. For a satellite in orbit all resources are sparse and the most critical resource of all is power. It is therefore crucial to have detailed knowledge on how much power is available for an energy harvesting satellite in orbit at every time – especially when in eclipse, where it draws its power from onboard batteries. This paper addresses this problem by a two-step procedure to perform task scheduling for low-earth-orbit (LEO) satellites exploiting formal methods. It combines cost-optimal reachability analyses of priced timed automata networks with a realistic kinetic battery model capable of capturing capacity limits as well as stochastic fluctuations. The procedure is in use for the automatic and resource-optimal day-ahead scheduling of G OM X-3 , a power-hungry nanosatellite currently orbiting the earth. We explain how this approach has overcome existing problems, has led to improved designs, and has provided new insights.

    AB - When working with space systems the keyword is resources. For a satellite in orbit all resources are sparse and the most critical resource of all is power. It is therefore crucial to have detailed knowledge on how much power is available for an energy harvesting satellite in orbit at every time – especially when in eclipse, where it draws its power from onboard batteries. This paper addresses this problem by a two-step procedure to perform task scheduling for low-earth-orbit (LEO) satellites exploiting formal methods. It combines cost-optimal reachability analyses of priced timed automata networks with a realistic kinetic battery model capable of capturing capacity limits as well as stochastic fluctuations. The procedure is in use for the automatic and resource-optimal day-ahead scheduling of G OM X-3 , a power-hungry nanosatellite currently orbiting the earth. We explain how this approach has overcome existing problems, has led to improved designs, and has provided new insights.

    KW - EWI-27184

    KW - IR-101995

    KW - METIS-319439

    M3 - Conference contribution

    SN - not assigned

    SP - 1

    EP - 15

    BT - Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4

    PB - International Astronautical Federation

    CY - France

    ER -

    Nies G, Stenger M, Krčál J, Hermanns H, Bisgaard M, Gerhardt D et al. Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. In Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4. France: International Astronautical Federation. 2016. p. 1-15