Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station

  • Jan Jelínek
  • Roman Barták
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9585)


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.


Scheduling Solar arrays Space station Constraints 



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.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Frank, J.: Planning solar array operations on the international space station. In: The International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS) (2012)Google Scholar
  4. 4.
    Frank, J., Jónsson, A.: Constraint-based attribute and interval planning. J. Constraints 8(4), 339–364 (2003)CrossRefzbMATHGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Land, A.H., Doig, A.G.: An automatic method of solving discrete programming problems. Econometrica 28(3), 497–520 (1960)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Faculty of Mathematics and PhysicsCharles University in PraguePragueCzech Republic

Personalised recommendations