Log In Sign Up

Extent-Compatible Control Barrier Functions

by   Mohit Srinivasan, et al.

Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which are Lyapunov-like functions for guaranteeing set invariance, are an effective tool to enforce such constraints and guarantee safety when the system is represented as a point in the state space. In this paper, we introduce extent-compatible control barrier functions as a tool to enforce safety for the system including its volume (extent) in the physical world. In order to implement the extent-compatible control barrier functions framework, a sum-of-squares based optimization program is proposed. Since sum-of-squares programs can be computationally prohibitive, we additionally introduce a sampling based method in order to retain the computational advantage of a traditional barrier function based quadratic program controller. We prove that the proposed sampling based controller retains the guarantee for safety. Simulation and robotic implementation results are also provided.


Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety

This work applies universal adaptive control to control barrier function...

Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach

Control barrier functions are mathematical constructs used to guarantee ...

Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion

Enforcing safety of robotic systems in the presence of stochastic uncert...

Barrier Certified Safety Learning Control: When Sum-of-Square Programming Meets Reinforcement Learning

Safety guarantee is essential in many engineering implementations. Reinf...

SLIP Walking over Rough Terrain via H-LIP Stepping and Backstepping-Barrier Function Inspired Quadratic Program

We present an advanced and novel control method to enable actuated Sprin...

On the similarities between Control Barrier Functions (CBFs) and Behavior Control Lyapunov Functions (BCLFs)

Control Barrier Functions (CBFs) is an important tool used to address si...