Skip to main content

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

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9585))

Included in the following conference series:

  • 1389 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  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. 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. 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. Frank, J., Jónsson, A.: Constraint-based attribute and interval planning. J. Constraints 8(4), 339–364 (2003)

    Article  MATH  Google Scholar 

  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. 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. Land, A.H., Doig, A.G.: An automatic method of solving discrete programming problems. Econometrica 28(3), 497–520 (1960)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Roman Barták .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics