Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications

A reconfiguration method for the model-checking-based motion planning of single- and multi-agent systems under infeasible local LTL specifications is proposed. The method describes how to synthesize the motion plan that fulfills the infeasible task specification the most, and how the infeasible task specification is relaxed. The novelty is the introduction of a metric within the atomic proposition domain, and the relative weighting between the implementation cost of a motion plan and its distance to the original specification. For multi-agent systems, a dependency relation and relative priorities are incorporated when the tasks are assigned independently to each agent. Simulations are presented to illustrate the method.

[1]  Yushan Chen,et al.  LTL robot motion control based on automata learning of environmental dynamics , 2012, 2012 IEEE International Conference on Robotics and Automation.

[2]  Jonathan P. How,et al.  Real-Time Motion Planning With Applications to Autonomous Urban Driving , 2009, IEEE Transactions on Control Systems Technology.

[3]  Antonio Bicchi,et al.  Symbolic planning and control of robot motion [Grand Challenges of Robotics] , 2007, IEEE Robotics & Automation Magazine.

[4]  Joel W. Burdick,et al.  Backtracking temporal logic synthesis for uncertain environments , 2012, 2012 IEEE International Conference on Robotics and Automation.

[5]  Christel Baier,et al.  PROBMELA: a modeling language for communicating probabilistic processes , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

[6]  Yushan Chen,et al.  Automatic Deployment of Robotic Teams , 2011, IEEE Robotics & Automation Magazine.

[7]  Calin Belta,et al.  Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications , 2010, IEEE Transactions on Robotics.

[8]  Stephan Merz,et al.  Model Checking , 2000 .

[9]  Calin Belta,et al.  Optimal path planning for surveillance with temporal-logic constraints* , 2011, Int. J. Robotics Res..

[10]  Calin Belta,et al.  Discrete abstractions for robot motion planning and control in polygonal environments , 2005, IEEE Transactions on Robotics.

[11]  Kostas J. Kyriakopoulos,et al.  Coordination of multiple non-holonomic agents with input constraints , 2009, 2009 IEEE International Conference on Robotics and Automation.

[12]  Hadas Kress-Gazit,et al.  Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP , 2011, CAV.

[13]  D. Koditschek,et al.  Robot navigation functions on manifolds with boundary , 1990 .

[14]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[15]  U. Topcu,et al.  Correct , Reactive Robot Control from Abstraction and Temporal Logic Specifications , 2011 .

[16]  Ufuk Topcu,et al.  Correct, Reactive, High-Level Robot Control , 2011, IEEE Robotics & Automation Magazine.

[17]  Emilio Frazzoli,et al.  Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..

[18]  Moshe Y. Vardi,et al.  Motion Planning with Complex Goals , 2011, IEEE Robotics & Automation Magazine.

[19]  Lydia E. Kavraki,et al.  Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.

[20]  D. Dimarogonas,et al.  Decentralized multi-agent control from local LTL specifications , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[21]  Georgios E. Fainekos,et al.  Approximate solutions for the minimal revision problem of specification automata , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[22]  Calin Belta,et al.  Multi-robot deployment from LTL specifications with reduced communication , 2011, IEEE Conference on Decision and Control and European Control Conference.

[23]  Ufuk Topcu,et al.  Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.

[24]  Sriram Sankaranarayanan,et al.  On the revision problem of specification automata , 2012, 2012 IEEE International Conference on Robotics and Automation.

[25]  Karl Henrik Johansson,et al.  Revising motion planning under Linear Temporal Logic specifications in partially known workspaces , 2013, 2013 IEEE International Conference on Robotics and Automation.

[26]  I.I. Hussein,et al.  Real Time Feedback Control for Nonholonomic Mobile Robots With Obstacles , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[27]  Christel Baier,et al.  Principles of model checking , 2008 .

[28]  Calin Belta,et al.  Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization , 2012, DARS.

[29]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[30]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[31]  Kostas E. Bekris,et al.  Safe and Distributed Kinodynamic Replanning for Vehicular Networks , 2009, Mob. Networks Appl..

[32]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[33]  Emilio Frazzoli,et al.  Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning , 2008 .