Vehicle Routing Problem with Metric Temporal Logic Specifications

This paper proposes a novel version of the vehicle routing problem (VRP). Instead of servicing all the customers, feasible solutions of the VRP instance are forced to satisfy a set of complex high-level tasks given as a metric temporal logic (MTL) specification, which allows complex quantitative timing constraints to be incorporated into the problem. For the resulting vehicle routing problem with metric temporal logic specifications (VRPMTL), a mixed-integer linear programming (MILP) based algorithm is provided that solves the problem to optimality. Examples for optimal multi-UAV mission planning are provided where MTL is used as a high level language to specify complex mission tasks.

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

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

[3]  Joël Ouaknine,et al.  On the decidability of metric temporal logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[4]  Pierre-Yves Schobbens,et al.  The Regular Real-Time Languages , 1998, ICALP.

[5]  Maria Grazia Speranza,et al.  The application of a vehicle routing model to a waste-collection problem: two case studies , 2002, J. Oper. Res. Soc..

[6]  Lior Pachter,et al.  UAV Task Assignment with Timing Constraints via Mixed-Integer Linear Programming , 2004 .

[7]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[8]  Michel Gendreau,et al.  Vehicle Routing Problem with Time Windows, Part II: Metaheuristics , 2005, Transp. Sci..

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

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

[11]  Rubén Ruiz,et al.  A decision support system for a real vehicle routing problem , 2004, Eur. J. Oper. Res..

[12]  Paolo Toth,et al.  The Vehicle Routing Problem , 2002, SIAM monographs on discrete mathematics and applications.

[13]  Michel Gendreau,et al.  Vehicle Routing Problem with Time Windows, Part I: Route Construction and Local Search Algorithms , 2005, Transp. Sci..

[14]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[15]  Thomas A. Henzinger,et al.  A really temporal logic , 1994, JACM.

[16]  Thomas A. Henzinger,et al.  The benefits of relaxing punctuality , 1991, JACM.

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

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

[19]  Yoshiaki Kuwata,et al.  Experimental demonstrations of real-time MILP control , 2003 .

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

[21]  H Onal,et al.  TWO FORMULATIONS OF THE VEHICLE ROUTING PROBLEM: AN EMPIRICAL APPLICATION AND COMPUTATIONAL EXPERIENCE , 1996 .

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

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