Skip to main content
The Phoenix Files
Community Digital Archives of Olin College

Main navigation

  • Home
  • Browse Digital Objects
  • About This Collection

Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments Using Barrier Certificates

  1. Home
In Alumni Publications

Title

Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments Using Barrier Certificates

Author(s)

Barry, Andrew
Majumdar, Anirudha

Description

Unmanned aerial vehicles (UAVs) have a so-far untapped potential to operate at high speeds through cluttered environments. Many of these systems are limited by their adhoc reactive controllers using simple visual cues like optical flow. Here we consider the problem of formally verifying an output-feedback controller for an aircraft operating in an unknown environment. Using recent advances in sums-of -squares programming that allow for efficient computation of barrier functions, we search for global certificates of safety for the closed-loop system in a given environment. In contrast to previous work, we use rational functions to globally approximate non-smooth dynamics and use multiple barrier functions to guard against more than one obstacle. We expect that these formal verification techniques will allow for the comparison, and ultimately optimization, of reactive controllers for robustness to varying initial conditions and environments.

Date Published

2019-08-29 13:02:24

Rights Statements

In Copyright - Educational Use Permitted

Linked Data for this Object

Wikidata subjects
unmanned aerial vehicle circumflex navigation visual perception

User login

  • Reset your password
Olin College of Engineering

An undergraduate engineering institution exploring innovative approaches to engineering education since its founding in 1997.

1000 Olin Way
Needham, MA 02492
781.292.2390