Quadrotor Formation Flying Resilient to Abrupt Vehicle Failures via a Fluid Flow Navigation Function

03/03/2022
by   Matthew Romano, et al.
0

This paper develops and experimentally evaluates a navigation function for quadrotor formation flight that is resilient to abrupt quadrotor failures and other obstacles. The navigation function is based on modeling healthy quadrotors as particles in an ideal fluid flow. We provide three key contributions: (i) A Containment Exclusion Mode (CEM) safety theorem and proof which guarantees safety and formally specifies a minimum safe distance between quadrotors in formation, (ii) A real-time, computationally efficient CEM navigation algorithm, (iii) Simulation and experimental algorithm validation. Simulations were first performed with a team of six virtual quadrotors to demonstrate velocity tracking via dynamic slide speed, maintaining sufficient inter-agent distances, and operating in real-time. Flight tests with a team of two custom quadrotors were performed in an indoor motion capture flight facility, successfully validating that the navigation algorithm can handle non-trivial bounded tracking errors while guaranteeing safety.

READ FULL TEXT
research
09/26/2018

Experimental Evaluation of Continuum Deformation with a Five Quadrotor Team

This paper experimentally evaluates continuum deformation cooperative co...
research
10/07/2021

Adaptive Safety Margin Estimation for Safe Real-Time Replanning under Time-Varying Disturbance

Safe navigation in real-time is challenging because engineers need to wo...
research
10/20/2021

Real-time Identification and Simultaneous Avoidance of Static and Dynamic Obstacles on Point Cloud for UAVs Navigation

Avoiding hybrid obstacles in unknown scenarios with an efficient flight ...
research
03/28/2019

Navigation in the Presence of Obstacles for an Agile Autonomous Underwater Vehicle

Navigation underwater traditionally is done by keeping a safe distance f...
research
10/08/2022

Formation Flight in Dense Environments

Formation flight has a vast potential for aerial robot swarms in various...
research
07/01/2021

Formal verification of octorotor flight envelope using barrier functions and SMT solving

This paper introduces an approach for formally verifying the safety of t...
research
09/26/2022

Perception-driven Formation Control of Airships

For tracking and motion capture (MoCap) of animals in their natural habi...

Please sign up or login with your details

Forgot password? Click here to reset