Battery-Aware Scheduling in Low Orbit: The GomX–3 Case
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00088808" target="_blank" >RIV/00216224:14330/16:00088808 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-48989-6_34" target="_blank" >http://dx.doi.org/10.1007/978-3-319-48989-6_34</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-48989-6_34" target="_blank" >10.1007/978-3-319-48989-6_34</a>
Alternative languages
Result language
angličtina
Original language name
Battery-Aware Scheduling in Low Orbit: The GomX–3 Case
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
FM 2016: Formal Methods: 21st International Symposium
ISBN
9783319489889
ISSN
0302-9743
e-ISSN
—
Number of pages
18
Pages from-to
559-576
Publisher name
Springer International Publishing.
Place of publication
Berlin
Event location
Limassol, Cyprus
Event date
Jan 1, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—