Stabilization of nonlinear safety-critical systems by relaxed converse Lyapunov-barrier approach and its applications in robotic systems

Abstract

Combining safety objectives with stability objectives is crucial for safety-critical systems. Existing studies generally unified these two objectives by constructing Lyapunov-type barrier functions. However, insufficient analysis of key set relationships within the system may render the proposed safety and stability conditions conservative, and these studies also did not provide how to use such conditions to design safety-stability control strategies. This paper proposed a feasible and constructive design to achieve stabilization of safety-critical systems by a relaxed converse Lyapunov-barrier approach. By analyzing the relationships between a series of sets associated with the safety-critical system, the stability and safety conditions can be appropriately relaxed. Then, with the help of relaxed converse control Lyapunov-barrier functions (RCCLBFs), a theoretical result was obtained for the stability of affine nonlinear systems with safety constraints. Subsequently, a constructive method was developed for a second-order strict-feedback system to transform the process of solving RCCLBFs into a Lyapunov-like stabilization problem. Finally, the proposed safety-stability control method is exerted on a robotic system and demonstrated by simulations.

Keywords

Lyapunov functions / Barrier functions / Safety / Stability

References

[1] Guo C., Hu J., Wu Y., Čelikovský S.. Non-singular fixed-time tracking control of uncertain nonlinear pure-feedback systems with practical state constraints. IEEE Trans. Circuits Syst. I, Regul. Pap., 2023, 70(9): 3746-3758

[2] Dong Y., Wang X., Hong Y.. Safety critical control design for nonlinear system with tracking and safety objectives. Automatica, 2024, 159

[3] Jang I., Kim H.J.. Safe control for navigation in cluttered space using multiple Lyapunov-based control barrier functions. IEEE Robot. Autom. Lett., 2024, 9(3): 2056-2063

[4] Guo C., Hu J., Park J.H., Ghosh B.K.. Non-singular fixed-time consensus tracking of high-order multi-agent systems with unmatched uncertainties and practical state constraints. Inf. Sci., 2024, 662

[5] Anai H., Weispfenning V.. Di Benedetto M.D., Sangiovanni-Vincentelli A.. Reach set computations using real quantifier elimination. Hybrid Systems: Computation and Control, 2001, Berlin: Springer 63-76

[6] Prajna S., Jadbabaie A., Pappas G.J.. A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control, 2007, 52(8): 1415-1428

[7] Shi P., Hua J.N.. Mobile robot dynamic path planning based on artificial potential field approach. Adv. Mater. Res., 2012, 490: 994-998

[8] Ames A.D., Xu X., Grizzle J.W., Tabuada P.. Control barrier function based quadratic programs for safety critical systems. IEEE Trans. Autom. Control, 2017, 62(8): 3861-3876

[9] Biswas K., Kar I.. On reduction of oscillations in target tracking by artificial potential field method. 2014 9th International Conference on Industrial and Information Systems (ICIIS), 2014, India: Gwalior 1-6

[10] Cortez W.S., Dimarogonas D.V.. On compatibility and region of attraction for safe, stabilizing control laws. IEEE Trans. Autom. Control, 2022, 67(9): 4924-4931

[11] Xiao W., Belta C.A., Cassandras C.G.. Sufficient conditions for feasibility of optimal control problems using control barrier functions. Automatica, 2022, 135

[12] F. Yang, H. Li, M. Lv, J. Hu, Q. Zhou, B.K. Ghosh, Enhancing Safety in Nonlinear Systems: Design and Stability Analysis of Adaptive Cruise Control. IEEE Trans. Intell. Veh., 1–11 (2024)

[13] Tee K.P., Ge S.S., Tay E.H.. Barrier Lyapunov functions for the control of output-constrained nonlinear systems. Automatica, 2009, 45(4): 918-927

[14] Romdlony M.Z., Jayawardhana B.. Stabilization with guaranteed safety using control Lyapunov-barrier function. Automatica, 2016, 66: 39-47

[15] Liu J.. Converse barrier functions via Lyapunov functions. IEEE Trans. Autom. Control, 2022, 67(1): 497-503

[16] Meng Y., Li Y., Fitzsimmons M., Liu J.. Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Automatica, 2022, 144

[17] Chen Y., Jankovic M., Santillo M., Ames A.D.. Backup control barrier functions: formulation and comparative study. 2021 60th IEEE Conference on Decision and Control, 2021, Austin: CDC 6835-6841

[18] Li H., Hu J., Ghosh B.K.. Neural quantized obstacle avoidance control for underactuated USVs based on control barrier functions. 2023 42nd Chinese Control Conference (CCC), 2023, China: Tianjin 396-401

[19] Li H., Hu J., Zhou Q., Lv M., Ghosh B.K.. Safety assurance in multi-UAV formation tracking control amidst missile threats. Proceedings of 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control, 2023, Singapore: Springer 253-265

[20] Li H., Hu J., Zhou Q., Ghosh B.K.. Safe formation control of multiple unmanned aerial vehicles: control design and safety-stability analysis. Control Theory Technol., 2024, 22: 442-454

[21] Khalil H.K.. Nonlinear Control, 2015, New York: Pearson Education

[22] Zhu G., Li H., Zhang X., Wang C., Su C.-Y., Hu J.. Adaptive consensus quantized control for a class of high-order nonlinear multi-agent systems with input hysteresis and full state constraints. IEEE/CAA J. Autom. Sin., 2022, 9(9): 1574-1589

Funding

National Key Research and Development Program of China(2022YFE0133100)