论文信息 - A Constraint-Based Planner for Mars Express Orbiter

A Constraint-Based Planner for Mars Express Orbiter

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.

Roman Barták | Martin Kolombo

[1] Roman Barták. Visopt ShopFloor: Going Beyond Traditional Scheduling , 2002, International Workshop on Constraint Solving and Constraint Logic Programming.

[2] Amedeo Cesta,et al. Mexar2: AI Solves Mission Planner Problems , 2007, IEEE Intelligent Systems.

[3] M. A. McRobbie,et al. Automated Deduction — Cade-13 , 1996, Lecture Notes in Computer Science.

[4] Rina Dechter,et al. Constraint Processing , 1995, Lecture Notes in Computer Science.

[5] Roberto Rossi,et al. Cost-Based Filtering for Stochastic Inventory Control , 2006, CSCLP.

[6] Edward P. K. Tsang,et al. Constraint Based Scheduling: Applying Constraint Programming to Scheduling Problems , 2003, J. Sched..

[7] Gabriella Cortellessa,et al. The RAXEM Tool on Mars Express - Uplink Planning Optimisation and Scheduling Using AI Constraint Resolution , 2008 .

[8] Nicola Muscettola,et al. HSTS: Integrating Planning and Scheduling , 1993 .

[9] Fausto Giunchiglia,et al. Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K , 1996, CADE.

[10] Fausto Giunchiglia,et al. Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m) , 2000, Inf. Comput..