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.

Converse Barrier Functions via Lyapunov Functions

Robustness of Control Barrier Functions for Safety Critical Control

On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions

A Converse Robust-Safety Theorem for Differential Inclusions

A New Safety Criterion for Dynamics Systems by Barrier Function Based on Forward Invariant Set

Guaranteeing Stability and Safety in Safety-Critical Systems: A Relaxed Converse Lyapunov-Barrier Theorem

Converse Theorems for Certificates of Safety and Stability

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

Non-positive Barrier Function:A New Notion of Barrier Function for State-Safety Control of Nonlinear Dynamical Systems

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

Extent-compatible control barrier functions

A Novel Attempt of Barrier Function to the Safety of Caputo's Fractional-Order Systems.

Stabilization of Nonlinear Systems through Control Barrier Functions

Safe stabilization using generalized Lyapunov barrier function

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems

Construction of parametric barrier functions for dynamical systems using interval analysis

First Attempt of Barrier Functions for Caputo's Fractional-Order Nonlinear Dynamical Systems

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

Discrete-Time Control Barrier Function: High-Order Case and Adaptive Case.

Safety Criteria Based on Barrier Function under the Framework of Boundedness for Some Dynamic Systems

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration