Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles

Persistent surveillance with aerial vehicles (drones) subject to connectivity and power constraints is a relatively uncharted domain of research. To reduce the complexity of multi-drone motion planning, most state-of-the-art solutions ignore network connectivity and assume unlimited battery power. Motivated by this and advances in optimization and constraint satisfaction techniques, we introduce a new persistent surveillance motion planning problem for multiple drones that incorporates connectivity and power consumption constraints. We use a recently developed constrained optimization tool (Satisfiability Modulo Convex Optimization (SMC)) that has the expressivity needed for this problem. We show how to express the new persistent surveillance problem in the SMC framework. Our analysis of the formulation based on a set of simulation experiments illustrates that we can generate the desired motion planning solution within a couple of minutes for small teams of drones (up to 5) confined to a 7 × 7 × 1 grid-space.

[1]  Calin Belta,et al.  Optimal multi-robot path planning with temporal logic constraints , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2]  B. Rinner,et al.  Multi-Robot Persistent Surveillance With Connectivity Constraints , 2019, IEEE Access.

[3]  Toby Walsh,et al.  Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications , 2009 .

[4]  Juan Pablo Vielma,et al.  Mixed Integer Linear Programming Formulation Techniques , 2015, SIAM Rev..

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

[6]  Manuela M. Veloso,et al.  Coverage planning with finite resources , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

[8]  François Schwarzentruber,et al.  Reachability and Coverage Planning for Connected Agents , 2019, AAMAS.

[9]  Bernhard Rinner,et al.  Persistent multi-UAV surveillance with energy and communication constraints , 2016, 2016 IEEE International Conference on Automation Science and Engineering (CASE).

[10]  Kevin S. Chan,et al.  Rapid Top-Down Synthesis of Large-Scale IoT Networks , 2020, 2020 29th International Conference on Computer Communications and Networks (ICCCN).

[11]  Paulo Tabuada,et al.  SMC: Satisfiability Modulo Convex Optimization , 2017, HSCC.

[12]  Manuel Mazo,et al.  Specification-guided controller synthesis for linear systems and safe linear-time temporal logic , 2013, HSCC '13.

[13]  Elon Rimon,et al.  Online Coverage of Planar Environments by a Battery Powered Autonomous Mobile Robot , 2016, IEEE Transactions on Automation Science and Engineering.

[14]  Abhishek Joshi,et al.  Boolean Satisfiability-Based Routing and Its Application to Xilinx UltraScale Clock Network , 2016, FPGA.

[15]  Andrea Bonarini,et al.  Multiagent Connected Path Planning: PSPACE-Completeness and How to Deal With It , 2018, AAAI.

[16]  Karthik Dantu,et al.  UB-ANC planner: Energy efficient coverage path planning with multiple drones , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).

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

[18]  Paulo Tabuada,et al.  Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[19]  Erion Plaku,et al.  Motion planning with temporal-logic specifications: Progress and challenges , 2015, AI Commun..

[20]  Stefano Carpin,et al.  Optimal Redeployment of Multirobot Teams for Communication Maintenance , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[21]  Calin Belta,et al.  Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints , 2016, Auton. Robots.