Least-Violating Planning in Road Networks from Temporal Logic Specifications

In this paper, we consider the problem of automated plan synthesis for a vehicle operating in a road network, which is modeled as a weighted transition system. The vehicle is assigned a set of demands, each of which involves a task specification in the form of a syntactically co-safe LTL formula, a deadline for achieving this task, and a demand priority. The demands arrive gradually, upon the run of the vehicle, and hence periodical replanning is needed. We particularly focus on cases, where all tasks cannot be accomplished within the desired deadlines and propose several different ways to measure the degree of demand violation that take into account the demand priorities. We develop a general solution to the problem of least-violating planning and replanning based on a translation to linear programming problem. Furthermore, for a particular subclass of demands, we provide a more efficient solution based on graph search algorithms. The benefits of the approach are demonstrated through illustrative simulations inspired by mobility-on-demand scenarios.

[1]  Hadas Kress-Gazit,et al.  Iterative temporal motion planning for hybrid systems in partially unknown environments , 2013, HSCC '13.

[2]  Sanjit A. Seshia,et al.  Reactive synthesis from signal temporal logic specifications , 2015, HSCC.

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

[4]  Dimos V. Dimarogonas,et al.  Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..

[5]  Yushan Chen,et al.  Temporal logic robot control based on automata learning of environmental dynamics , 2013, Int. J. Robotics Res..

[6]  Calin Belta,et al.  Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints , 2013, Int. J. Robotics Res..

[7]  Emilio Frazzoli,et al.  Least-violating control strategy synthesis with safety rules , 2013, HSCC '13.

[8]  Orna Kupferman,et al.  Model Checking of Safety Properties , 1999, CAV.

[9]  Thomas Bak,et al.  Planning : A Timed Automata Approach , 2004 .

[10]  Emilio Frazzoli,et al.  Vehicle Routing Problem with Metric Temporal Logic Specifications , 2008, 2008 47th IEEE Conference on Decision and Control.

[11]  Emilio Frazzoli,et al.  Robotic load balancing for mobility-on-demand systems , 2012, Int. J. Robotics Res..

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

[13]  Jun Liu,et al.  Switching control of dynamical systems from metric temporal logic specifications , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

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

[15]  John S. Baras,et al.  Optimal mission planner with timed temporal logic constraints , 2015, 2015 European Control Conference (ECC).