Optimal Control of Mixed Logical Dynamical Systems with Long-Term Temporal Logic Specifications

We present a mathematical programming-based method for control of large a class of nonlinear systems subject to temporal logic task specifications. We consider Mixed Logical Dynamical (MLD) systems, which include linear hybrid automata, constrained linear systems, and piecewise affine systems. We specify tasks using a fragment of linear temporal logic (LTL) that allows both finite- and infinite-horizon properties to be specified, including tasks such as surveillance, periodic walking, repeated assembly, and environmental monitoring. Our method directly encodes an LTL formula as mixed-integer linear constraints on the MLD system, instead of computing a finite abstraction. This approach is efficient; for common tasks the formulation may use significantly fewer binary variables than related approaches. In simulation, we solve non-trivial temporal logic motion planning tasks for high-dimensional continuous systems using our approach.

[1]  J. K. Lowe,et al.  Some results and experiments in programming techniques for propositional logic , 1986, Comput. Oper. Res..

[2]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[3]  John N. Tsitsiklis,et al.  A survey of computational complexity results in systems and control , 2000, Autom..

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

[5]  Jonathan P. How,et al.  Aircraft trajectory planning with collision avoidance using mixed integer linear programming , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[6]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[7]  Raffaello D'Andrea,et al.  Iterative MILP methods for vehicle-control problems , 2005, IEEE Transactions on Robotics.

[8]  John N. Hooker,et al.  Branch-and-cut solution of inference problems in propositional logic , 2005, Annals of Mathematics and Artificial Intelligence.

[9]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

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

[11]  Jan H. van Schuppen,et al.  Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.

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

[13]  Steven L. Waslander,et al.  Tunnel-MILP: Path Planning with Sequential Convex Polytopes , 2008, AIAA Guidance, Navigation and Control Conference and Exhibit.

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

[15]  Ricardo G. Sanfelice,et al.  Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications , 2008, 2008 47th IEEE Conference on Decision and Control.

[16]  Gul A. Agha,et al.  LTLC: Linear Temporal Logic for Control , 2008, HSCC.

[17]  George J. Pappas,et al.  Temporal logic motion planning for dynamic robots , 2009, Autom..

[18]  Emilio Frazzoli,et al.  Sampling-based motion planning with deterministic μ-calculus specifications , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

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

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

[21]  Emilio Frazzoli,et al.  Linear temporal logic vehicle routing with applications to multi‐UAV mission planning , 2011 .

[22]  Ufuk Topcu,et al.  TuLiP: a software toolbox for receding horizon temporal logic planning , 2011, HSCC '11.

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

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

[25]  Ufuk Topcu,et al.  Optimal Control with Weighted Average Costs and Temporal Logic Specifications , 2012, Robotics: Science and Systems.

[26]  Jur P. van den Berg,et al.  Kinodynamic RRT*: Asymptotically optimal motion planning for robots with linear dynamics , 2013, 2013 IEEE International Conference on Robotics and Automation.

[27]  Xiaolei Ma,et al.  Vehicle Routing Problem , 2013 .