INTEGRATED PLANNING AND SCHEDULING CAPABILITIES TO SUPPORT SPACE ROBOTICS

This paper focuses on the ESA A PSI software platform for developing planning and scheduling applications for space missions. In particular, it describes work performed by CNR-ISTC developing new APSI-compliant features that address aspects considered as “improvable” in the current APSI distribution. The APSI version used within the GOAC project has been considered as the starting state for the new work. In particular, two aspects are described: (a) two new planning systems able to integrate causal and resource reasoning (called E PSL and J-TRE); (b) the KEEN knowledge engineering environment that allows an integrated use of various research facilities we have developed over time. Some examples are shown taken from the GOAC space robotics domain.

[1]  Amedeo Cesta,et al.  A Knowledge Engineering Environment for P & S with Timelines , 2013 .

[2]  A. Cesta,et al.  Toward a general purpose software environment for timeline-based planning , 2013 .

[3]  Stephen F. Smith,et al.  A Constraint-Based Method for Project Scheduling with Time Windows , 2002, J. Heuristics.

[4]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[5]  A. Cesta,et al.  Generating Controllers for Flexible Plan Execution : a TGA approach , 2011 .

[6]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[7]  Nicola Muscettola.  Incremental Maximum Flows for Fast Envelope Computation , 2004, ICAPS.

[8]  Steve A. Chien,et al.  Timeline-ased Space Operations Scheduling with External Constraints , 2010 .

[9]  Frederic Py,et al.  Towards Deliberative Control in Marine Robotics , 2013 .

[10]  Nicola Muscettola,et al.  Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.

[11]  Amedeo Cesta,et al.  Timeline Planning in the J-TRE Environment , 2012, ICAART.

[12]  Blai Bonet,et al.  Planning as heuristic search , 2001, Artif. Intell..

[13]  Amedeo Cesta,et al.  Developing an End-to-End Planning Application from a Timeline Representation Framework , 2009, IAAI.

[14]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[15]  Amedeo Cesta,et al.  An Innovative Product for Space Mission Planning: An A Posteriori Evaluation , 2007, ICAPS.

[16]  A. Rosser.  A.I.D.S. , 1986, Maryland medical journal.

[17]  Amedeo Cesta,et al.  Unifying planning and scheduling as timelines in a component-based perspective , 2008 .

[18]  Amedeo Cesta,et al.  Rapid Prototyping of Planning & Scheduling Tools , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.

[19]  Philippe Laborie,et al.  Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results , 2003, Artif. Intell..

[20]  Amedeo Cesta,et al.  APSI-BASED DELIBERATION IN GOAL ORIENTED AUTONOMOUS CONTROLLERS , 2011 .

[21]  Henrique Oliveira,et al.  Planning Spacecraft Activities: An Automated Approach , 2013, ICAPS.

[22]  Lavindra de Silva,et al.  A Goal-oriented Autonomous Controller for Space Exploration , 2011 .

[23]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[24]  Nicola Muscettola.  HSTS: Integrated planning and scheduling , 1994 .

[25]  Enrico Tronci,et al.  Flexible Plan Verification: Feasibility Results , 2011, RCRA@AI*IA.

[26]  Stephen F. Smith,et al.  Slack-Based Heuristics for Constraint Satisfaction Scheduling , 1993, AAAI.

[27]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..