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: Other contributionOther research output

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 languageEnglish
PublisherInternational Astronautical Federation
Number of pages15
Place of PublicationFrance
ISBN (Print)not assigned
Publication statusPublished - Sep 2016
Externally publishedYes

Fingerprint

Orbits
Earth (planet)
Satellites
Scheduling
Nanosatellites
Formal methods
Energy harvesting
Kinetics
Costs

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, Sep). Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. 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. 2016. France : International Astronautical Federation. 15 p.
@misc{1e24c57940824f6784da2290968b8027,
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 = "English",
isbn = "not assigned",
publisher = "International Astronautical Federation",
type = "Other",

}

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. International Astronautical Federation, France.

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.

15 p. France : International Astronautical Federation. 2016, .

Research output: Other contributionOther research output

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 - Other contribution

SN - not assigned

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. 2016. 15 p.