{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T14:51:45Z","timestamp":1783954305180,"version":"3.55.0"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62573085"],"award-info":[{"award-number":["62573085"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["92567303"],"award-info":[{"award-number":["92567303"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62122016"],"award-info":[{"award-number":["62122016"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100018617","name":"Liaoning Revitalization Talents Program","doi-asserted-by":"publisher","award":["XLYC2007164"],"award-info":[{"award-number":["XLYC2007164"]}],"id":[{"id":"10.13039\/501100018617","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["DUT22RT(3)090"],"award-info":[{"award-number":["DUT22RT(3)090"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/tase.2025.3650164","type":"journal-article","created":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T18:39:43Z","timestamp":1767292783000},"page":"1905-1916","source":"Crossref","is-referenced-by-count":1,"title":["Control Barrier Functions for Safe Stabilization via Zubov\u2019s Theorem"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9806-3418","authenticated-orcid":false,"given":"Jiaxing","family":"Wang","sequence":"first","affiliation":[{"name":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3300-0993","authenticated-orcid":false,"given":"Wei","family":"Ren","sequence":"additional","affiliation":[{"name":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9970-7684","authenticated-orcid":false,"given":"Weiguo","family":"Xia","sequence":"additional","affiliation":[{"name":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1883-3495","authenticated-orcid":false,"given":"Xi-Ming","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"547","article-title":"Safety critical systems: Challenges and directions","volume-title":"Proc. 24th Int. Conf. Softw. Eng.","author":"Knight"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/3468.844352"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.870668"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3182\/20070822-3-za-2920.00076"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.152"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853698"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029455"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3089639"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3305485"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583507"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110563"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867764"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108508"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3249564"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2022.3186528"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144502414942"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2476155"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2792325"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(89)90028-5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0807-8_40"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0967-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3339501"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA49430.2022.9966120"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2019.10.001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2019.2949540"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2020.07.029"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1137\/1007127"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2047-4"},{"key":"ref34","volume-title":"Nonlinear Systems","volume":"115","author":"Khalil","year":"2002"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1972.11993115"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3105491"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3074895"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(83)90049-4"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1115\/1.2192835"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989375"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8856\/11323516\/11322576.pdf?arnumber=11322576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:27:52Z","timestamp":1769722072000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11322576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/tase.2025.3650164","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}