Abstract
Solar arrays are the main source of energy at the International Space Station (ISS). Most of the time they automatically track the sun, but some ISS operations impose additional constraints on the arrays and the arrays may need to be parked or even locked. These operations must be carefully planned to prevent thermal stresses, environmental contamination, and structural loads. This paper describes a novel approach to plan solar array operations on the ISS using constraint logic programming. Opposite to previous approaches, it assumes global optimization while still taking in account safety and operation constraints.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jelínek, J., Barták, R.: A constraint-based optimizer for scheduling solar array operations on the international space station. In: Proceedings of the International Workshop on Planning and Scheduling for Space (IWPSS), pp. 53–61 (2015)
Carlsson, M., Ottosson, G., Carlsson, B.: An open-ended finite domain constraint solver. In: Hartel, Pieter H., Kuchen, Herbert (eds.) PLILP 1997. LNCS, vol. 1292. Springer, Heidelberg (1997)
Frank, J.: Planning solar array operations on the international space station. In: The International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS) (2012)
Frank, J., Jónsson, A.: Constraint-based attribute and interval planning. J. Constraints 8(4), 339–364 (2003)
Kolombo, M., Pecka, M., Barták, R.: An ad-hoc planner for the mars express mission. In: Proceedings of the 5th International Workshop on Planning and Scheduling for Space (IWPSS) (2013)
Kolombo, M., Barták, R.: A constraint-based planner for mars express orbiter. In: Gelbukh, A., Espinoza, F.C., Galicia-Haro, S.N. (eds.) MICAI 2014, Part II. LNCS, vol. 8857, pp. 451–463. Springer, Heidelberg (2014)
Land, A.H., Doig, A.G.: An automatic method of solving discrete programming problems. Econometrica 28(3), 497–520 (1960)
Reddy, S., Frank, J., Iatauro, M., Boyce, M., Kürklü, E., Ai-Chang, M., Jónsson, A.: Planning solar array operations for the international space station. ACM Trans. Intell. Syst. Technol. 2(4), 41:1–41:24 (2011)
Acknowledgement
The authors thank Jeremy Frank for information about the solar array operations at ISS and about the SACE approach. Roman Barták is supported by the Czech Science Foundation under the project P202/12/G061.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Jelínek, J., Barták, R. (2016). Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. In: Gavanelli, M., Reppy, J. (eds) Practical Aspects of Declarative Languages. PADL 2016. Lecture Notes in Computer Science(), vol 9585. Springer, Cham. https://doi.org/10.1007/978-3-319-28228-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-28228-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28227-5
Online ISBN: 978-3-319-28228-2
eBook Packages: Computer ScienceComputer Science (R0)