Verification of safety critical control policies using kernel methods

03/23/2022
by   Nikolaus Vertovec, et al.
0

Hamilton-Jacobi reachability methods for safety-critical control have been well studied, but the safety guarantees derived rely on the accuracy of the numerical computation. Thus, it is crucial to understand and account for any inaccuracies that occur due to uncertainty in the underlying dynamics and environment as well as the induced numerical errors. To this end, we propose a framework for modeling the error of the value function inherent in Hamilton-Jacobi reachability using a Gaussian process. The derived safety controller can be used in conjuncture with arbitrary controllers to provide a safe hybrid control law. The marginal likelihood of the Gaussian process then provides a confidence metric used to determine switches between a least restrictive controller and a safety controller. We test both the prediction as well as the correction capabilities of the presented method in a classical pursuit-evasion example.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/13/2021

Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty

Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) a...
research
02/26/2018

Multicopter attitude control for recovery from large disturbances

We present a novel, high-performance attitude control law for multicopte...
research
04/26/2022

Refining Control Barrier Functions through Hamilton-Jacobi Reachability

Safety filters based on Control Barrier Functions (CBFs) have emerged as...
research
03/11/2023

Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control

Leveraging recent developments in black-box risk-aware verification, we ...
research
03/02/2022

Self-Supervised Online Learning for Safety-Critical Control using Stereo Vision

With the increasing prevalence of complex vision-based sensing methods f...
research
12/23/2019

On Simulation and Trajectory Prediction with Gaussian Process Dynamics

Established techniques for simulation and prediction with Gaussian proce...
research
06/24/2021

Comparison between safety methods control barrier function vs. reachability analysis

This report aims to compare two safety methods: control barrier function...

Please sign up or login with your details

Forgot password? Click here to reset