Battery-Aware Scheduling in Low Orbit: The GomX–3 Case

D 2016

Battery-Aware Scheduling in Low Orbit: The GomX–3 Case

BISGAARD, Morten, David GERHARDT, Holger HERMANNS, Jan KRČÁL, Gilles NIES et. al.

Základní údaje

Originální název

Battery-Aware Scheduling in Low Orbit: The GomX–3 Case

Autoři

BISGAARD, Morten (208 Dánsko), David GERHARDT (208 Dánsko), Holger HERMANNS (276 Německo), Jan KRČÁL (203 Česká republika, garant, domácí), Gilles NIES (442 Lucembursko) a Marvin STENGER (276 Německo)

Vydání

Berlin, FM 2016: Formal Methods: 21st International Symposium, od s. 559-576, 18 s. 2016

Nakladatel

Springer International Publishing.

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/16:00088808

Organizační jednotka

Fakulta informatiky

ISBN

978-3-319-48988-9

ISSN

DOI

http://dx.doi.org/10.1007/978-3-319-48989-6_34

UT WoS

000389793300034

Klíčová slova anglicky

KiBam; nano-satellite; stochastic model

Štítky

core_A, firank_A

Změněno: 1. 6. 2022 12:42, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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 GomX–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.

Návaznosti

GBP202/12/G061, projekt VaV

Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)

Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky

Citovat

BISGAARD, Morten, David GERHARDT, Holger HERMANNS, Jan KRČÁL, Gilles NIES a Marvin STENGER. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case. Online. In FM 2016: Formal Methods: 21st International Symposium. Berlin: Springer International Publishing., 2016, s. 559-576. ISBN 978-3-319-48988-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-48989-6_34.

@inproceedings{1377107,
   author = {Bisgaard, Morten and Gerhardt, David and Hermanns, Holger and Krčál, Jan and Nies, Gilles and Stenger, Marvin},
   address = {Berlin},
   booktitle = {FM 2016: Formal Methods: 21st International Symposium},
   doi = {http://dx.doi.org/10.1007/978-3-319-48989-6_34},
   keywords = {KiBam; nano-satellite; stochastic model},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Berlin},
   isbn = {978-3-319-48988-9},
   pages = {559-576},
   publisher = {Springer International Publishing.},
   title = {Battery-Aware Scheduling in Low Orbit: The GomX–3 Case},
   year = {2016}
}

TY  - JOUR
ID  - 1377107
AU  - Bisgaard, Morten - Gerhardt, David - Hermanns, Holger - Krčál, Jan - Nies, Gilles - Stenger, Marvin
PY  - 2016
TI  - Battery-Aware Scheduling in Low Orbit: The GomX–3 Case
PB  - Springer International Publishing.
CY  - Berlin
SN  - 9783319489889
KW  - KiBam
KW  - nano-satellite
KW  - stochastic model
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 GomX–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.
ER  -

BISGAARD, Morten, David GERHARDT, Holger HERMANNS, Jan KRČÁL, Gilles NIES a Marvin STENGER. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case. Online. In \textit{FM 2016: Formal Methods: 21st International Symposium}. Berlin: Springer International Publishing., 2016, s.~559-576. ISBN~978-3-319-48988-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-48989-6\_{}34.

Podrobný výpis o publikaci