Refining Control Barrier Functions through Hamilton-Jacobi Reachability

04/26/2022
by   Sander Tonkens, et al.
0

Safety filters based on Control Barrier Functions (CBFs) have emerged as a practical tool for the safety-critical control of autonomous systems. These approaches encode safety through a value function and enforce safety by imposing a constraint on the time derivative of this value function. However, synthesizing a valid CBF that is not overly conservative in the presence of input constraints is a notorious challenge. In this work, we propose refining candidate CBFs using formal verification methods to obtain a valid CBF. In particular, we update an expert-synthesized or backup CBF using dynamic programming (DP) based reachability analysis. Our framework guarantees that with every DP iteration the obtained CBF is provably at least as safe as the prior iteration and converges to a valid CBF. Therefore, our proposed method can be used in-the-loop for robotic systems. We demonstrate the practicality of our method to enhance safety and/or reduce conservativeness on a range of nonlinear control-affine systems using various CBF synthesis techniques in simulation.

READ FULL TEXT
research
04/19/2023

Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability

Learning-based control algorithms have led to major advances in robotics...
research
07/01/2023

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming

Safety is a central requirement for autonomous system operation across d...
research
06/16/2022

Control Barrier Functionals: Safety-critical Control for Time Delay Systems

This work presents a theoretical framework for the safety-critical contr...
research
03/23/2022

Verification of safety critical control policies using kernel methods

Hamilton-Jacobi reachability methods for safety-critical control have be...
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...
research
05/30/2021

Safety Embedded Differential Dynamic Programming using Discrete Barrier States

Certified safe control is a growing challenge in robotics, especially wh...
research
06/06/2023

Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory

Guaranteeing safe behaviour of reinforcement learning (RL) policies pose...

Please sign up or login with your details

Forgot password? Click here to reset