L-CSS 2024: Bounding Stochastic Safety:: Leveraging Freedman's INequality with Discrete-Time Control Barrier Functions

Max H. Cohen, Ryan K. Cosner^*, and Aaron D. Ames.

Accepted as a L-CSS paper with a presentation at CDC 2024

Links:

• Official IEEE Xplore Version
• Free arXiv Version

---

Abstract

Certifying the safety of nonlinear systems, through the lens of set invariance and control barrier functions (CBFs), offers a powerful method for controller synthesis, provided a CBF can be constructed. This paper draws connections between partial feedback linearization and CBF synthesis. We illustrate that when a control affine system is input-output linearizable with respect to a smooth output function, then, under mild regularity conditions, one may extend any safety constraint defined on the output to a CBF for the full-order dynamics. These more general results are specialized to robotic systems where the conditions required to synthesize CBFs simplify. The CBFs constructed from our approach are applied and verified in simulation and hardware experiments on a quadrotor.

---