Control barrier functions provide a powerful means for synthesizing safety filters that ensure safety framed as forward set invariance. Key to CBFs' effectiveness is the simple inequality on the system dynamics: ḣ - α (h). Yet determining the class Kᵉ function α is a user defined choice that can have a dramatic effect on the resulting system behavior. This paper formalizes the process of choosing α using optimal-decay control barrier functions (OD-CBFs). These modify the traditional CBF inequality to: ḣ - ωα (h), where ω 0 is automatically determined by the safety filter. A comprehensive characterization of this framework is elaborated, including tractable conditions on OD-CBF validity, control invariance of the underlying sets in the state space, forward invariance conditions for safe sets, and discussion on optimization-based safe controllers in terms of their feasibility, Lipschitz continuity, and closed-form expressions. The framework also extends existing higher-order CBF techniques, addressing safety constraints with vanishing relative degrees. The proposed method is demonstrated on a satellite control problem in simulation.
Ong et al. (Thu,) studied this question.