Robust control barrier–value functions for safety-critical control

JJ Choi, D Lee, K Sreenath, CJ Tomlin… - 2021 60th IEEE …, 2021 - ieeexplore.ieee.org
2021 60th IEEE Conference on Decision and Control (CDC), 2021ieeexplore.ieee.org
This paper works towards unifying two popular approaches in the safety control community:
Hamilton-Jacobi (HJ) reachability and Control Barrier Functions (CBFs). HJ Reachability has
methods for direct construction of value functions that provide safety guarantees and safe
controllers, however the online implementation can be overly conservative and/or rely on
chattering bang-bang control. The CBF community has methods for safe-guarding
controllers in the form of point-wise optimization using quadratic programs (CBF-QP), where …
This paper works towards unifying two popular approaches in the safety control community: Hamilton-Jacobi (HJ) reachability and Control Barrier Functions (CBFs). HJ Reachability has methods for direct construction of value functions that provide safety guarantees and safe controllers, however the online implementation can be overly conservative and/or rely on chattering bang-bang control. The CBF community has methods for safe-guarding controllers in the form of point-wise optimization using quadratic programs (CBF-QP), where the CBF-based safety certificate is used as a constraint. However, finding a valid CBF for a general dynamical system is challenging. This paper unifies these two methods by introducing a new reachability formulation inspired by the structure of CBFs to construct a Control Barrier-Value Function (CBVF). We verify that CBVF is a viscosity solution to a novel Hamilton-Jacobi-Isaacs Variational Inequality and preserves the same safety guarantee as the original reachability formulation. Finally, inspired by the CBF-QP, we propose a QP-based online control synthesis for systems affine in control and disturbance, whose solution is always the CBVF’s optimal control signal robust to bounded disturbance. We demonstrate the benefit of using the CBVFs for double-integrator and Dubins car systems by comparing it to previous methods.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果