Safe stabilization using generalized Lyapunov barrier function

Jianglin Lan,Eldert van Henten,Peter Groot Koerkamp,Congcong Sun

2024-10-29

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.

Systems and Control

What problem does this paper attempt to address?

The problem that this paper attempts to solve is in the safety and stabilization problem of control systems, how to design a feedback controller so that the system state can stably approach the origin while avoiding entering the set of unsafe states. Existing methods rely on smooth Lyapunov functions and barrier functions, but these methods do not always guarantee the existence of an effective controller, even if such smooth functions can be constructed. To overcome this challenge, the paper introduces the concept of generalized (non - smooth) Lyapunov - barrier functions (GenLBF), which can guarantee the existence of a controller that is both safe and stable. The paper details the method of constructing GenLBF, including the technique for efficiently calculating the upper generalized derivative of GenLBF, and proposes a method for designing piecewise - continuous feedback control based on GenLBF to achieve safety and stabilization. In addition, a controller optimization strategy is proposed to help the system state escape from bad local points in a specific physical structure system. Through extensive theoretical analysis and simulations of linear and nonlinear systems, the effectiveness and superiority of the proposed method are proved.