An LTL-Based Motion and Action Dynamic Planning Method for Autonomous Robot

Abstract LTL-based languages provide a formal and expressive way to specify high-level complex motion and action tasks for autonomous robots. Based on LTL task specification, a method to dynamically generate motion and action sequences for a robot is proposed. Firstly, the environment knowledge, robot’s motion and action capabilities are described respectively based on the partitioned regions. Secondly, a weighted finite transition system is constructed from these models to capture the robot’s full functionality and the knowledge of environment. Thirdly, a dynamic planning framework is put forward considering environment update or operations failure. Finally, a fire-fighting case is simulated to demonstrate the effectiveness of the approach.

[1]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

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

[3]  George J. Pappas,et al.  Hybrid Controllers for Path Planning: A Temporal Logic Approach , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

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

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

[7]  E. Frazzoli,et al.  Complex mission optimization for Multiple-UAVs using Linear Temporal Logic , 2008, 2008 American Control Conference.

[8]  Cristian Mahulea,et al.  LTL-Based Planning in Environments With Probabilistic Observations , 2015, IEEE Transactions on Automation Science and Engineering.

[9]  Dimos V. Dimarogonas,et al.  A receding horizon approach to multi-agent planning from local LTL specifications , 2014, 2014 American Control Conference.

[10]  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.

[11]  Calin Belta,et al.  Distribution temporal logic: Combining correctness with quality of estimation , 2013, 52nd IEEE Conference on Decision and Control.

[12]  Karl Henrik Johansson,et al.  Motion and action planning under LTL specifications using navigation functions and action description language , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[13]  Hai Lin,et al.  Assume-guarantee cooperative satisfaction of multi-agent systems , 2014, 2014 American Control Conference.