Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic

by   Usman A. Fiaz, et al.

We present a hybrid compositional approach for real-time mission planning for multi-rotor unmanned aerial vehicles (UAVs) in a time critical search and rescue scenario. Starting with a known environment, we specify the mission using Metric Temporal Logic (MTL) and use a hybrid dynamical model to capture the various modes of UAV operation. We then divide the mission into several sub-tasks by exploiting the invariant nature of safety and timing constraints along the way, and the different modes (i.e., dynamics) of the UAV. For each sub-task, we translate the MTL specifications into linear constraints and solve the associated optimal control problem for desired path, using a Mixed Integer Linear Program (MILP) solver. The complete path for the mission is constructed recursively by composing the individual optimal sub-paths. We show by simulations that the resulting suboptimal trajectories satisfy the mission specifications, and the proposed approach leads to significant reduction in computational complexity of the problem, making it possible to implement in real-time. Our proposed method ensures the safety of UAVs at all times and guarantees finite time mission completion. It is also shown that our approach scales up nicely for a large number of UAVs.


page 1

page 2

page 3

page 4


A Hybrid Compositional Approach to Optimal Mission Planning for Multi-rotor UAVs using Metric Temporal Logic

This paper investigates a hybrid compositional approach to optimal missi...

Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications

Urban Air Mobility (UAM), or the scenario where multiple manned and Unma...

Synthesis of Admissible Shields

Shield synthesis is an approach to enforce a set of safety-critical prop...

Towards Automated 3D Search Planning for Emergency Response Missions

The ability to efficiently plan and execute automated and precise search...

A Game of Drones: Cyber-Physical Security of Time-Critical UAV Applications with Cumulative Prospect Theory Perceptions and Valuations

The effective deployment of unmanned aerial vehicle (UAV) systems and se...

Heuristic Algorithms for Co-scheduling of Edge Analytics and Routes for UAV Fleet Missions

Unmanned Aerial Vehicles (UAVs) or drones are increasingly used for urba...

Scheduling of Emergency Tasks for Multiservice UAVs in Post-Disaster Scenarios

Single-task UAVs are increasingly being employed to carry out surveillan...

Please sign up or login with your details

Forgot password? Click here to reset