Steps in Assessing a Timeline-Based Planner

The "timeline-based" is a particular paradigm of temporal planning that has been successfully applied in many real-world scenarios. Different timeline-based planning systems have been developed, each using its own planning specification language and solving techniques. An analysis of the differences between such kind systems has not been addressed yet. In previous work we have developed Epsli¾ź a planning tool successfully applied in real-world manufacturing scenarios. During subsequent projects our tool achieved a level of stability and a relative maturity. In this paper we start addressing the problem of comparison with other timeline-based planners and presents an analysis that concerns the Europa2 framework which can be considered the de-facto standard for timeline-based planning. In the present work we analyze the modeling and solving capabilities of the two frameworks. This phase of our study identifies differences and discusses strengths and weaknesses when solving the same problem.

[1]  Enrico Tronci,et al.  Flexible Timeline-Based Plan Verification , 2009, KI.

[2]  Rob Sherwood,et al.  ASPEN-Automated Planning and Scheduling for Space Mission Operation , 2000 .

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

[4]  Marta Cialdea Mayer,et al.  Planning and execution with flexible timelines: a formal account , 2016, Acta Informatica.

[5]  Joachim Hertzberg,et al.  Online task merging with a hierarchical hybrid task planner for mobile service robots , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[6]  Roman Barták,et al.  Planning and Acting with Temporal and Hierarchical Decomposition Models , 2014, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence.

[7]  Marta Cialdea Mayer,et al.  Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic , 2015, AI*IA.

[8]  Amedeo Cesta,et al.  Towards a planning-based framework for symbiotic human-robot collaboration , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[9]  Amedeo Cesta,et al.  MrSPOCK—STEPS IN DEVELOPING AN END‐TO‐END SPACE APPLICATION , 2011, Comput. Intell..

[10]  Amedeo Cesta,et al.  Design and implementation of a distributed part-routing algorithm for reconfigurable transportation systems , 2016, Int. J. Comput. Integr. Manuf..

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

[12]  Frederic Py,et al.  A systematic agent framework for situated autonomous systems , 2010, AAMAS.

[13]  Angelo Montanari,et al.  Timelines Are Expressive Enough to Capture Action-Based Temporal Planning , 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

[14]  Amedeo Cesta,et al.  Towards a cooperative knowledge-based control agent for a reconfigurable manufacturing plant , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[15]  Amedeo Cesta,et al.  A Planning-Based Architecture for a Reconfigurable Manufacturing System , 2016, ICAPS.

[16]  Nicola Muscettola,et al.  Dynamic Control Of Plans With Temporal Uncertainty , 2001, IJCAI.

[17]  Jeremy Frank,et al.  Constraint-Based Attribute and Interval Planning , 2003, Constraints.

[18]  Marco Roveri,et al.  Timelines with Temporal Uncertainty , 2013, AAAI.

[19]  Ari K. Jónsson,et al.  Activity Planning for the Mars Exploration Rovers , 2005, ICAPS.

[20]  Malik Ghallab,et al.  Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.

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

[22]  Steve Chien,et al.  Automated Planning and Scheduling for Space Mission Operations , 2005 .

[23]  Enrico Tronci,et al.  Analyzing Flexible Timeline-based Plans , 2010, ECAI.

[24]  Marta Cialdea Mayer,et al.  An Executable Semantics of Flexible Plans in Terms of Timed Game Automata , 2015, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).

[25]  Marta Cialdea Mayer,et al.  A Formal Account of Planning with Flexible Timelines , 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.