Onboard Safety Guarantees for Racing Drones: High-speed Geofencing with Control Barrier Functions

01/12/2022
by   Andrew Singletary, et al.
0

This paper details the theory and implementation behind practically ensuring safety of remotely piloted racing drones. We demonstrate robust and practical safety guarantees on a 7" racing drone at speeds exceeding 100 km/h, utilizing only online computations on a 10 gram micro-controller. To achieve this goal, we utilize the framework of control barrier functions (CBFs) which give guaranteed safety encoded as forward set invariance. To make this methodology practically applicable, we present an implicitly defined CBF which leverages backup controllers to enable gradient-free evaluations that ensure safety. The method applied to hardware results in smooth, minimally conservative alterations of the pilots' desired inputs, enabling them to push the limits of their drone without fear of crashing. Moreover, the method works in conjunction with the preexisting flight controller, resulting in unaltered flight when there are no nearby safety risks. Additional benefits include safety and stability of the drone when losing line-of-sight or in the event of radio failure.

READ FULL TEXT

page 1

page 8

research
07/28/2022

Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety

This work applies universal adaptive control to control barrier function...
research
06/07/2022

Control Barrier Functions and Input-to-State Safety with Application to Automated Vehicles

Balancing safety and performance is one of the predominant challenges in...
research
09/14/2021

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Safety and stability are common requirements for robotic control systems...
research
07/07/2020

CMPCC: Corridor-based Model Predictive Contouring Control for Aggressive Drone Flight

In this paper, we propose an efficient, receding horizon, local adaptive...
research
07/11/2022

Safe Drone Flight with Time-Varying Backup Controllers

The weight, space, and power limitations of small aerial vehicles often ...
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
05/25/2022

Power-based Safety Layer for Aerial Vehicles in Physical Interaction using Lyapunov Exponents

As the performance of autonomous systems increases, safety concerns aris...

Please sign up or login with your details

Forgot password? Click here to reset