Other formats:
BibTeX
LaTeX
RIS
@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 and 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, p.~559-576. ISBN~978-3-319-48988-9. Available from: https://dx.doi.org/10.1007/978-3-319-48989-6\_{}34.
|