Abstract
The Mars Express mission is a space exploration mission being conducted by the European Space Agency. The Mars Express Orbiter is extremely successful and is performing scientific experiments since early 2004, generating 2-3Gbit of scientific data per day. It is therefore very important to plan its activities properly to obtain high-quality scientific data outcome. The paper describes a complete constraint-based automated planner of the Mars Express Orbiter activities covering uploading tele-commands, experiments and maintenance activities, and downloading data back to Earth.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-based Scheduling: Applying Constraints to Scheduling Problems. Kluwer Academic Publishers, Dordrecht (2001)
Barták, R.: Visopt ShopFloor: Going beyond traditional scheduling. In: O’Sullivan, B. (ed.) CologNet 2002. LNCS (LNAI), vol. 2627, pp. 185–199. Springer, Heidelberg (2003)
Cesta, A., Cortellessa, G., Denis, M., Donati, A., Fratini, S., Oddi, A., Policella, N., Rabenau, E., Schulster, J.: AI solves mission planner problems. IEEE Intelligent Systems 22 (2007)
Dechter, R.: Constraint processing. Morgan Kaufmann Publishers Inc. (2003)
Fratini, S., Policella, N.: ICKEPS 2012 challenge domain: Planning operations on the Mars Express mission (2012), http://icaps12.poli.usp.br/icaps12/sites/default/files/ickeps/mexdomain/MEXKEPSdomainv12.pdf
Giunchiglia, F., Sebastiani, R.: Building decision procedures for modal logics from propositional decision procedures—the case study of modal K(m). In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol. 1104, pp. 583–597. Springer, Heidelberg (1996)
Kolombo, M., Pecka, M., Barták, R.: An Ad-hoc Planner for the Mars Express Mission, In. In: Proceedings of 5th International Workshop on Planning and Scheduling for Space (2013)
Muscettola, N.: HSTS: Integrating planning and scheduling. In: Intelligent Scheduling. Morgan Kauffmann (1994)
Rabenau, E., Donati, A., Denis, M., Policella, N., Schulster, J., Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: The RAXEM tool on Mars Express - uplink planning optimisation and scheduling using AI constraint resolution. In: Proceedings of the 10th International Conference on Space Operations, SpaceOps 2008 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Kolombo, M., Barták, R. (2014). A Constraint-Based Planner for Mars Express Orbiter. In: Gelbukh, A., Espinoza, F.C., Galicia-Haro, S.N. (eds) Nature-Inspired Computation and Machine Learning. MICAI 2014. Lecture Notes in Computer Science(), vol 8857. Springer, Cham. https://doi.org/10.1007/978-3-319-13650-9_39
Download citation
DOI: https://doi.org/10.1007/978-3-319-13650-9_39
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13649-3
Online ISBN: 978-3-319-13650-9
eBook Packages: Computer ScienceComputer Science (R0)