Abstract:This paper addresses the safe stabilization problem, focusing on controlling the system state to the origin while avoiding entry into unsafe state sets. The current methods for solving this issue rely on smooth Lyapunov and barrier functions, which do not always ensure the existence of an effective controller even when such smooth functions are created. To tackle this challenge, we introduce the concept of a generalized (nonsmooth) Lyapunov barrier function (GenLBF), which guarantees the existence of a safe and stable controller. We outline a systematic approach for constructing a GenLBF, including a technique for efficiently calculating the upper generalized derivative of the GenLBF. Using the constructed GenLBF, we propose a method for certifying safe stabilization of autonomous systems and design a piecewise continuous feedback control to achieve safe stabilization of non-autonomous systems. A general controller refinement strategy is further proposed to help the state trajectory escape from undesired local points occurring in systems with special physical structure. A thorough theoretical analysis demonstrates the effectiveness of our method in addressing the safe stabilization problem for systems with single or multiple bounded unsafe state sets. Extensive simulations of linear and nonlinear systems further illustrate the efficacy of the proposed method and its superiority over the smooth control Lyapunov barrier function method.

Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications

Lyapunov-barrier characterization of robust reach–avoid–stay specifications for hybrid systems

Robustness of Control Barrier Functions for Safety Critical Control

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Safe Control in the Presence of Stochastic Uncertainties

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations

Safe stabilization using generalized Lyapunov barrier function

Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs

Razumikhin and Krasovskii approaches for safe stabilization

Extent-compatible control barrier functions

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.

Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming

Safe Stabilization for Stochastic Time-Delay Systems

Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach

Robust Stabilization and H∞ Control for Stochastic Systems with Parameter Uncertainty and Nonlinearity

Multiple Control Functionals for Interconnected Time-Delay Systems

Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions