Cyclic-routing of Unmanned Aerial Vehicles

Various missions carried out by Unmanned Aerial Vehicles (UAVs) are concerned with permanent monitoring of a predefined set of ground targets under relative deadline constraints, i.e., the targets have to be revisited ‘indefinitely’ and there is an upper bound on the time between two consecutive successful scans of each target. A solution to the problem is a set of routes—one for each UAV—that jointly satisfy these constraints. Our goal is to find a solution with the least number of UAVs. We show that the decision version of the problem (given k, is there a solution with k UAVs?) is PSPACE-complete. On the practical side, we propose a portfolio approach that combines the strengths of constraint solving and model checking. We present an empirical evaluation of the different solution methods on several hundred randomly generated instances.

[1]  Timothy W. McLain,et al.  Cooperative forest fire surveillance using a team of small unmanned air vehicles , 2006, Int. J. Syst. Sci..

[2]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[3]  C. Papadimitriou,et al.  Introduction to the Theory of Computation , 2018 .

[4]  A. Prasad Sistla,et al.  Symmetry and model checking , 1993, Formal Methods Syst. Des..

[5]  Oded Maler,et al.  Fast and Flexible Difference Constraint Propagation for DPLL(T) , 2006, SAT.

[6]  Robert K. Brayton,et al.  ABC: An Academic Industrial-Strength Verification Tool , 2010, CAV.

[7]  Thomas A. Henzinger,et al.  What Good Are Digital Clocks? , 1992, ICALP.

[8]  Nicos Christofides.  Worst-Case Analysis of a New Heuristic for the Travelling Salesman Problem , 1976, Operations Research Forum.

[9]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[10]  Vijay Kumar,et al.  Cooperative Control of UAVs for Search and Coverage , 2006 .

[11]  Adam Meyerson,et al.  Approximation algorithms for deadline-TSP and vehicle routing with time-windows , 2004, STOC '04.

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

[13]  Vladimir Vacic,et al.  VEHICLE ROUTING PROBLEM WITH TIME WINDOWS , 2014 .

[14]  TWO-WEEK Loan COpy,et al.  University of California , 1886, The American journal of dental science.

[15]  Armin Biere,et al.  Bounded model checking , 2003, Adv. Comput..

[16]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[17]  L. D. Moura,et al.  The YICES SMT Solver , 2006 .

[18]  Harry B. Hunt,et al.  Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems , 1998, SIAM J. Comput..

[19]  Kaarthik Sundar,et al.  Route planning algorithms for unmanned aerial vehicles with refueling constraints , 2012, 2012 American Control Conference (ACC).

[20]  Christos H. Papadimitriou,et al.  The Euclidean Traveling Salesman Problem is NP-Complete , 1977, Theor. Comput. Sci..

[21]  Daniel Kroening,et al.  Decision Procedures - An Algorithmic Point of View , 2008, Texts in Theoretical Computer Science. An EATCS Series.

[22]  Anouck Girard,et al.  Persistent visitation under revisit constraints , 2013, 2013 International Conference on Unmanned Aircraft Systems (ICUAS).

[23]  Hsi-Ming Ho.  Topics in monitoring and planning for embedded real-time systems , 2015 .

[24]  Shailesh Patil,et al.  Adaptive general perfectly periodic scheduling , 2006, Inf. Process. Lett..

[25]  Keeyoung Choi,et al.  A path planning algorithm for Surveillance UAVs with timing mission constrains , 2010, ICCAS 2010.

[26]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[27]  M. Penn,et al.  Cyclic Routing of Unmanned Air Vehicles , 2014 .

[28]  Marco Pistore,et al.  Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.

[29]  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).

[30]  Joshua J Corner.  Swarming Reconnaissance Using Unmanned Aerial Vehicles in a Parallel Discrete Event Simulation , 2004 .

[31]  Armin Biere.  The AIGER And-Inverter Graph (AIG) Format Version 20070427 , 2007 .

[32]  Nicola Basilico,et al.  Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder , 2012, Artif. Intell..

[33]  James B. Orlin,et al.  The complexity of dynamic languages and dynamic optimization problems , 1981, STOC '81.

[34]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[35]  Joël Ouaknine,et al.  The Cyclic-Routing UAV Problem is PSPACE-Complete , 2014, FoSSaCS.

[36]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[37]  Michael T. Curry,et al.  Generalized Pinwheel Problem , 2005, Math. Methods Oper. Res..

[38]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[39]  Beverley Chow,et al.  Assigning Closely Spaced Targets to Multiple Autonomous Underwater Vehicles , 2009 .

[40]  Emilio Frazzoli,et al.  The coverage problem for loitering Dubins vehicles , 2007, 2007 46th IEEE Conference on Decision and Control.

[41]  Juraj Hromkovic,et al.  The Parameterized Approximability of TSP with Deadlines , 2007, Theory of Computing Systems.

[42]  J. Meigs,et al.  WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[43]  Dustin J. Nowak.  Exploitation of Self Organization in UAV Swarms for Optimization in Combat Environments , 2012 .

[44]  Taegyun Ha.  The UAV Continuous Coverage Problem , 2012 .

[45]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[46]  Joël Ouaknine,et al.  The CR-UAV Problem is PSPACE-Complete , 2014, ArXiv.

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

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

[49]  Walter Ukovich,et al.  A Mathematical Model for Periodic Scheduling Problems , 1989, SIAM J. Discret. Math..

[50]  R. Sinnott.  Virtues of the Haversine , 1984 .

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

[52]  Martin W. P. Savelsbergh,et al.  Local search in routing problems with time windows , 1984 .

[53]  Phillip Jones.  Cooperative area surveillance strategies using multiple unmanned systems , 2009 .

[54]  Nicola Basilico,et al.  Developing a Deterministic Patrolling Strategy for Security Agents , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[55]  Jean-François Raskin,et al.  Antichain Algorithms for Finite Automata , 2010, TACAS.

[56]  Vikram Kapila,et al.  Optimal path planning for unmanned air vehicles with kinematic and tactical constraints , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[57]  Ellen W. Zegura,et al.  A message ferrying approach for data delivery in sparse mobile ad hoc networks , 2004, MobiHoc '04.

[58]  Richard E. Ladner,et al.  Windows scheduling of arbitrary-length jobs on multiple machines , 2012, J. Sched..

[59]  Magnus Egerstedt,et al.  Optimal motion primitives for multi-UAV convoy protection , 2010, 2010 IEEE International Conference on Robotics and Automation.

[60]  Tal Shima,et al.  UAV Cooperative Decision and Control: Challenges and Practical Approaches , 2008 .