Robust Execution of Rover Plans via Action Modalities Reconfiguration

Robust execution of exploration mission plans has to deal with limited computational power on-board a planetary rover, and with limited rover's autonomy. Typically, these limitations prevent the rover to synthesize a new mission plan when some unexpected contingency arises. The paper shows that when such deviations refers to anomalies on the consumption of resources, robust execution can be achieved efficiently through an action reconfiguration approach instead of a replanning from scratch. Building up on an extended action model representation, the paper proposes an effective continual planner - ReCon - that, exploiting a general purpose CSP solver, is able to (i) detect violations of mission resource constraints, and (ii) find (if any) a new configuration of actions

[1]  Xavier Lorca,et al.  Choco: an Open Source Java Constraint Programming Library , 2008 .

[2]  Daniele Nardi,et al.  Context-based design of robotic systems , 2008, Robotics Auton. Syst..

[3]  Enrico Scala,et al.  Numeric Kernel for Reasoning about Plans Involving Numeric Fluents , 2013, AI*IA.

[4]  Brian C. Williams,et al.  Robust Execution on Contingent, Temporally Flexible Plans , 2006, AAAI.

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

[6]  Brian Charles Williams,et al.  Drake: An Efficient Executive for Temporal Plans with Choice , 2011, J. Artif. Intell. Res..

[7]  Roman Barták,et al.  Temporal Reasoning in Nested Temporal Networks with Alternatives , 2008, CSCLP.

[8]  Ivan Serina,et al.  An approach to efficient planning with numerical fluents and multi-criteria plan quality , 2008, Artif. Intell..

[9]  Roberto Micalizio,et al.  ACTION FAILURE RECOVERY VIA MODEL‐BASED DIAGNOSIS AND CONFORMANT PLANNING , 2013, Comput. Intell..

[10]  Mathijs de Weerdt,et al.  Plan Repair as an Extension of Planning , 2005, ICAPS.

[11]  Enrico Scala Numerical Kernels for Monitoring and Repairing Plans Involving Continuous and Consumable Resources , 2013, ICAART.

[12]  Fahiem Bacchus,et al.  Generalizing GraphPlan by Formulating Planning as a CSP , 2003, IJCAI.

[13]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[14]  Edmund H. Durfee,et al.  A Survey of Research in Distributed, Continual Planning , 1999, AI Mag..

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

[16]  Bernhard Nebel,et al.  Continual planning and acting in dynamic multiagent environments , 2006, PCAR '06.

[17]  Amedeo Cesta,et al.  The Timeline Representation Framework as a Planning and Scheduling Software Development Environment , 2008 .

[18]  Roman Barták,et al.  Solving Sequential Planning Problems via Constraint Satisfaction , 2010, Fundam. Informaticae.

[19]  Stephen F. Smith,et al.  Solve-and-robustify , 2009, J. Sched..

[20]  Ivan Serina,et al.  Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval , 2012, ECAI.

[21]  Pietro Torasso,et al.  Intelligent Supervision for Robust Plan Execution , 2011, AI*IA.

[22]  Ivan Serina,et al.  Efficient Plan Adaptation through Replanning Windows and Heuristic Goals , 2010, RCRA.

[23]  Jörg Hoffmann,et al.  The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables , 2003, J. Artif. Intell. Res..

[24]  Ivan Serina,et al.  Plan Stability: Replanning versus Plan Repair , 2006, ICAPS.

[25]  Christoph Lenzen,et al.  A generalized timeline representation, services, and interface for automating space mission operations , 2012, SpaceOps 2012 Conference.