{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T05:27:57Z","timestamp":1731994077001,"version":"3.28.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T00:00:00Z","timestamp":1731974400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T00:00:00Z","timestamp":1731974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2022YFE0133100"],"award-info":[{"award-number":["2022YFE0133100"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton. Intell. Syst."],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1007\/s43684-024-00081-x","type":"journal-article","created":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T02:35:42Z","timestamp":1731983742000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Stabilization of nonlinear safety-critical systems by relaxed converse Lyapunov-barrier approach and its applications in robotic systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Haoqi","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiangping","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoming","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijoy K.","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,19]]},"reference":[{"issue":"9","key":"81_CR1","doi-asserted-by":"publisher","first-page":"3746","DOI":"10.1109\/TCSI.2023.3291700","volume":"70","author":"C. Guo","year":"2023","unstructured":"C. Guo, J. Hu, Y. Wu, S. \u010celikovsk\u00fd, Non-singular fixed-time tracking control of uncertain nonlinear pure-feedback systems with practical state constraints. IEEE Trans. Circuits Syst. I, Regul. Pap. 70(9), 3746\u20133758 (2023)","journal-title":"IEEE Trans. Circuits Syst. I, Regul. Pap."},{"key":"81_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111365","volume":"159","author":"Y. Dong","year":"2024","unstructured":"Y. Dong, X. Wang, Y. Hong, Safety critical control design for nonlinear system with tracking and safety objectives. Automatica 159, 111365 (2024)","journal-title":"Automatica"},{"issue":"3","key":"81_CR3","doi-asserted-by":"publisher","first-page":"2056","DOI":"10.1109\/LRA.2024.3349917","volume":"9","author":"I. Jang","year":"2024","unstructured":"I. Jang, H.J. Kim, Safe control for navigation in cluttered space using multiple Lyapunov-based control barrier functions. IEEE Robot. Autom. Lett. 9(3), 2056\u20132063 (2024)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"81_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2024.120224","volume":"662","author":"C. Guo","year":"2024","unstructured":"C. Guo, J. Hu, J.H. Park, B.K. Ghosh, Non-singular fixed-time consensus tracking of high-order multi-agent systems with unmatched uncertainties and practical state constraints. Inf. Sci. 662, 120224 (2024)","journal-title":"Inf. Sci."},{"key":"81_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-45351-2_9","volume-title":"Hybrid Systems: Computation and Control","author":"H. Anai","year":"2001","unstructured":"H. Anai, V. Weispfenning, Reach set computations using real quantifier elimination, in Hybrid Systems: Computation and Control, ed. by M.D. Di Benedetto, A. Sangiovanni-Vincentelli (Springer, Berlin, 2001), pp. 63\u201376"},{"issue":"8","key":"81_CR6","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S. Prajna","year":"2007","unstructured":"S. Prajna, A. Jadbabaie, G.J. Pappas, A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"81_CR7","doi-asserted-by":"publisher","first-page":"994","DOI":"10.4028\/www.scientific.net\/AMR.490-495.994","volume":"490","author":"P. Shi","year":"2012","unstructured":"P. Shi, J.N. Hua, Mobile robot dynamic path planning based on artificial potential field approach. Adv. Mater. Res. 490, 994\u2013998 (2012)","journal-title":"Adv. Mater. Res."},{"issue":"8","key":"81_CR8","doi-asserted-by":"publisher","first-page":"3861","DOI":"10.1109\/TAC.2016.2638961","volume":"62","author":"A.D. Ames","year":"2017","unstructured":"A.D. Ames, X. Xu, J.W. Grizzle, P. Tabuada, Control barrier function based quadratic programs for safety critical systems. IEEE Trans. Autom. Control 62(8), 3861\u20133876 (2017)","journal-title":"IEEE Trans. Autom. Control"},{"key":"81_CR9","first-page":"1","volume-title":"2014 9th International Conference on Industrial and Information Systems (ICIIS)","author":"K. Biswas","year":"2014","unstructured":"K. Biswas, I. Kar, On reduction of oscillations in target tracking by artificial potential field method, in 2014 9th International Conference on Industrial and Information Systems (ICIIS) (Gwalior, India, 2014), pp. 1\u20136"},{"issue":"9","key":"81_CR10","doi-asserted-by":"publisher","first-page":"4924","DOI":"10.1109\/TAC.2022.3168240","volume":"67","author":"W.S. Cortez","year":"2022","unstructured":"W.S. Cortez, D.V. Dimarogonas, On compatibility and region of attraction for safe, stabilizing control laws. IEEE Trans. Autom. Control 67(9), 4924\u20134931 (2022)","journal-title":"IEEE Trans. Autom. Control"},{"key":"81_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109960","volume":"135","author":"W. Xiao","year":"2022","unstructured":"W. Xiao, C.A. Belta, C.G. Cassandras, Sufficient conditions for feasibility of optimal control problems using control barrier functions. Automatica 135, 109960 (2022)","journal-title":"Automatica"},{"key":"81_CR12","doi-asserted-by":"crossref","unstructured":"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\u201311 (2024)","DOI":"10.1109\/TIV.2024.3388425"},{"issue":"4","key":"81_CR13","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1016\/j.automatica.2008.11.017","volume":"45","author":"K.P. Tee","year":"2009","unstructured":"K.P. Tee, S.S. Ge, E.H. Tay, Barrier Lyapunov functions for the control of output-constrained nonlinear systems. Automatica 45(4), 918\u2013927 (2009)","journal-title":"Automatica"},{"key":"81_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.automatica.2015.12.011","volume":"66","author":"M.Z. Romdlony","year":"2016","unstructured":"M.Z. Romdlony, B. Jayawardhana, Stabilization with guaranteed safety using control Lyapunov-barrier function. Automatica 66, 39\u201347 (2016)","journal-title":"Automatica"},{"issue":"1","key":"81_CR15","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1109\/TAC.2021.3085419","volume":"67","author":"J. Liu","year":"2022","unstructured":"J. Liu, Converse barrier functions via Lyapunov functions. IEEE Trans. Autom. Control 67(1), 497\u2013503 (2022)","journal-title":"IEEE Trans. Autom. Control"},{"key":"81_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110478","volume":"144","author":"Y. Meng","year":"2022","unstructured":"Y. Meng, Y. Li, M. Fitzsimmons, J. Liu, Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Automatica 144, 110478 (2022)","journal-title":"Automatica"},{"key":"81_CR17","doi-asserted-by":"publisher","first-page":"6835","DOI":"10.1109\/CDC45484.2021.9683111","volume-title":"2021 60th IEEE Conference on Decision and Control","author":"Y. Chen","year":"2021","unstructured":"Y. Chen, M. Jankovic, M. Santillo, A.D. Ames, Backup control barrier functions: formulation and comparative study, in 2021 60th IEEE Conference on Decision and Control (CDC, Austin, 2021), pp. 6835\u20136841"},{"key":"81_CR18","doi-asserted-by":"publisher","first-page":"396","DOI":"10.23919\/CCC58697.2023.10241209","volume-title":"2023 42nd Chinese Control Conference (CCC)","author":"H. Li","year":"2023","unstructured":"H. Li, J. Hu, B.K. Ghosh, Neural quantized obstacle avoidance control for underactuated USVs based on control barrier functions, in 2023 42nd Chinese Control Conference (CCC) (Tianjin, China, 2023), pp. 396\u2013401"},{"key":"81_CR19","first-page":"253","volume-title":"Proceedings of 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control","author":"H. Li","year":"2023","unstructured":"H. Li, J. Hu, Q. Zhou, M. Lv, B.K. Ghosh, Safety assurance in multi-UAV formation tracking control amidst missile threats, in Proceedings of 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control (Springer, Singapore, 2023), pp. 253\u2013265"},{"key":"81_CR20","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/s11768-024-00209-7","volume":"22","author":"H. Li","year":"2024","unstructured":"H. Li, J. Hu, Q. Zhou, B.K. Ghosh, Safe formation control of multiple unmanned aerial vehicles: control design and safety-stability analysis. Control Theory Technol. 22, 442\u2013454 (2024)","journal-title":"Control Theory Technol."},{"key":"81_CR21","volume-title":"Nonlinear Control","author":"H.K. Khalil","year":"2015","unstructured":"H.K. Khalil, Nonlinear Control (Pearson Education, New York, 2015)"},{"issue":"9","key":"81_CR22","doi-asserted-by":"publisher","first-page":"1574","DOI":"10.1109\/JAS.2022.105800","volume":"9","author":"G. Zhu","year":"2022","unstructured":"G. Zhu, H. Li, X. Zhang, C. Wang, C.-Y. Su, J. Hu, 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. 9(9), 1574\u20131589 (2022)","journal-title":"IEEE\/CAA J. Autom. Sin."}],"container-title":["Autonomous Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s43684-024-00081-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s43684-024-00081-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s43684-024-00081-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T03:23:05Z","timestamp":1731986585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s43684-024-00081-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,19]]},"references-count":22,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2024,12]]}},"alternative-id":["81"],"URL":"https:\/\/doi.org\/10.1007\/s43684-024-00081-x","relation":{},"ISSN":["2730-616X"],"issn-type":[{"type":"electronic","value":"2730-616X"}],"subject":[],"published":{"date-parts":[[2024,11,19]]},"assertion":[{"value":"27 August 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 October 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 November 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Prof. Xiaoming Hu is an editorial board member for Autonomous Intelligent Systems and was not involved in the editorial review, or the decision to publish, this article. All authors declare that there are no other competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"24"}}