Complex mission optimization for Multiple-UAVs using Linear Temporal Logic

This paper discusses a class of mission planning problems in which mission objectives and relative timing constraints are specified using the linear temporal logic language LTL-x. Among all mission plans that satisfy the LTL-x specifications, it is desired to find those minimizing a given cost functional. We show that such an optimization problem can be formulated as a mixed-integer linear program, and present an algorithm for this purpose. This algorithm mainly relies on a novel systematic procedure which converts a given LTL-x formula into a set of mixed-integer linear constraints. The approach presented here can be used for multiple-UAV mission planning purposes, allowing the operator to specify complex mission objectives in LTL-x in a very natural manner; the proposed algorithm constructs the optimal mission plan satisfying the given LTL-x specification. Examples for practical problem sizes are presented and discussed in the paper.

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

[2]  H. P. Williams,et al.  Logic-Based Decision Support: Mixed Integer Model Formulation , 1989 .

[3]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[4]  Christopher Van Tilburg,et al.  Black Hawk Down: A Story of Modern War , 2001 .

[5]  Corey Schumacher,et al.  UAV Scheduling via the Vehicle Routing Problem with Time Windows , 2007 .

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

[7]  Meir Pachter,et al.  Optimization of air vehicles operations using mixed-integer linear programming , 2007, J. Oper. Res. Soc..

[8]  M. Pachter,et al.  Complexity in UAV cooperative control , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[9]  Paulo Tabuada,et al.  Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.

[10]  H. P. Williams.  Logic applied to integer programming and integer programming applied to logic , 1995 .

[11]  Dov M. Gabbay,et al.  Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 , 1994 .

[12]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[13]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[14]  Kazuko Takahashi,et al.  A Description and Reasoning of Plant Controllers in Temporal Logic , 1983, IJCAI.

[15]  Jonathan P. How,et al.  Coordination and control of multiple UAVs with timing constraints and loitering , 2003, Proceedings of the 2003 American Control Conference, 2003..

[16]  Jonathan P. How,et al.  Multi-Task Allocation and Path Planning for Cooperating UAVs , 2003 .

[17]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.