{"id":"https://openalex.org/W7117873390","doi":"https://doi.org/10.1109/tase.2025.3650164","title":"Control Barrier Functions for Safe Stabilization via Zubov\u2019s Theorem","display_name":"Control Barrier Functions for Safe Stabilization via Zubov\u2019s Theorem","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7117873390","doi":"https://doi.org/10.1109/tase.2025.3650164"},"language":null,"primary_location":{"id":"doi:10.1109/tase.2025.3650164","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3650164","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006017802","display_name":"JiaXing Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaxing Wang","raw_affiliation_strings":["School of Control Science and Engineering, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-9806-3418","affiliations":[{"raw_affiliation_string":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wei Ren","orcid":"https://orcid.org/0000-0002-3300-0993"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Ren","raw_affiliation_strings":["School of Control Science and Engineering, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-3300-0993","affiliations":[{"raw_affiliation_string":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061261034","display_name":"Weiguo Xia","orcid":"https://orcid.org/0000-0002-9970-7684"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiguo Xia","raw_affiliation_strings":["School of Control Science and Engineering, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-9970-7684","affiliations":[{"raw_affiliation_string":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121734516","display_name":"Xi-Ming Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xi-Ming Sun","raw_affiliation_strings":["School of Control Science and Engineering, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-1883-3495","affiliations":[{"raw_affiliation_string":"School of Control Science and Engineering, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":6.9798,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.9256498,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"23","issue":null,"first_page":"1905","last_page":"1916"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.459199994802475,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.459199994802475,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10805","display_name":"Vehicle Dynamics and Control Systems","score":0.14270000159740448,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.09200000017881393,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.5697000026702881},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.44940000772476196},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4458000063896179},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41679999232292175},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4133000075817108},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.41200000047683716},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4059999883174896},{"id":"https://openalex.org/keywords/safety-instrumented-system","display_name":"Safety instrumented system","score":0.3917999863624573},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.3578999936580658},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.34700000286102295}],"concepts":[{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.5697000026702881},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.47040000557899475},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.44940000772476196},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4458000063896179},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41679999232292175},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4133000075817108},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.41200000047683716},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4059999883174896},{"id":"https://openalex.org/C22607221","wikidata":"https://www.wikidata.org/wiki/Q825237","display_name":"Safety instrumented system","level":3,"score":0.3917999863624573},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37549999356269836},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3693999946117401},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.3578999936580658},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.34700000286102295},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.326200008392334},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.2994999885559082},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.288100004196167},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.2840999960899353},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.27300000190734863},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C145446738","wikidata":"https://www.wikidata.org/wiki/Q319913","display_name":"Convex function","level":3,"score":0.26809999346733093},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C2778448659","wikidata":"https://www.wikidata.org/wiki/Q1931051","display_name":"Overtaking","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2025.3650164","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2025.3650164","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1829590024","display_name":null,"funder_award_id":"XLYC2007164","funder_id":"https://openalex.org/F4320329895","funder_display_name":"Liaoning Revitalization Talents Program"},{"id":"https://openalex.org/G1881805672","display_name":null,"funder_award_id":"62122016","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3107604348","display_name":null,"funder_award_id":"DUT22RT(3)090","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G6355465889","display_name":null,"funder_award_id":"92567303","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8367082618","display_name":null,"funder_award_id":"62573085","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320329895","display_name":"Liaoning Revitalization Talents Program","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1548148540","https://openalex.org/W1823180602","https://openalex.org/W1972149633","https://openalex.org/W1990083214","https://openalex.org/W2021667711","https://openalex.org/W2036383492","https://openalex.org/W2041076275","https://openalex.org/W2069671092","https://openalex.org/W2098519927","https://openalex.org/W2140531311","https://openalex.org/W2153389562","https://openalex.org/W2161134473","https://openalex.org/W2325101949","https://openalex.org/W2515034808","https://openalex.org/W2560504659","https://openalex.org/W2591921113","https://openalex.org/W2789826932","https://openalex.org/W2887154784","https://openalex.org/W2963249498","https://openalex.org/W2964849820","https://openalex.org/W2968945909","https://openalex.org/W2981729160","https://openalex.org/W3011888914","https://openalex.org/W3015470607","https://openalex.org/W3045577114","https://openalex.org/W3155061166","https://openalex.org/W3168522732","https://openalex.org/W3195647294","https://openalex.org/W3207130869","https://openalex.org/W4225002519","https://openalex.org/W4240329752","https://openalex.org/W4250589301","https://openalex.org/W4255103961","https://openalex.org/W4285076891","https://openalex.org/W4292249799","https://openalex.org/W4294691909","https://openalex.org/W4352977012","https://openalex.org/W4386175378","https://openalex.org/W4389776196"],"related_works":[],"abstract_inverted_index":{"Safety":[0],"guarantee":[1,147],"is":[2,20,111],"a":[3,32,43,139,160,172,180],"fundamental":[4],"requirement":[5],"for":[6,114,179],"numerous":[7],"dynamical":[8],"systems.":[9],"In":[10],"this":[11],"work,":[12],"the":[13,25,28,56,72,75,79,89,99,125,128,133,150,153,164,176,186],"safe":[14,30,68,134,177],"stabilization":[15,135],"problem":[16,166],"in":[17,83,156],"complex":[18],"scenarios":[19],"considered.":[21],"First,":[22],"we":[23,50,137],"introduce":[24],"notion":[26],"of":[27,46,101,127,152,167],"local":[29,67],"set,":[31],"convex":[33],"and":[34,81,92,118,148,171],"compact":[35],"set":[36],"disjoint":[37],"from":[38,163],"unsafe":[39],"regions,":[40],"to":[41,54,97,123,184],"construct":[42],"finite":[44],"sequence":[45],"such":[47],"sets.":[48,69],"Next,":[49],"leverage":[51],"Zubov\u2019s":[52],"theorem":[53],"propose":[55],"Zubov":[57,76,90,102,105],"barrier":[58,107],"function":[59,108],"(Zubov":[60,109],"BF),":[61],"which":[62],"provides":[63],"safety":[64,84],"guarantees":[65],"on":[66,175],"Compared":[70],"with":[71,145],"existing":[73,93],"ones,":[74],"BF":[77,91],"reduces":[78],"conservatism":[80],"complexity":[82],"analysis.":[85],"The":[86,104],"relations":[87],"between":[88],"ones":[94],"are":[95,121,182],"discussed":[96],"show":[98],"generality":[100],"BF.":[103],"control":[106,115],"CBF)":[110],"further":[112],"extended":[113],"synthesis.":[116],"Sufficient":[117],"necessary":[119],"conditions":[120],"provided":[122,183],"verify":[124],"existence":[126],"derived":[129,154,187],"controller.":[130],"To":[131],"achieve":[132],"objective,":[136],"provide":[138],"modified":[140],"quadratic":[141],"programming":[142],"(QP)":[143],"framework":[144],"feasibility":[146],"demonstrate":[149],"continuity":[151],"controller":[155],"closed":[157],"form.":[158],"Finally,":[159],"numerical":[161],"example":[162],"overtaking":[165],"two":[168],"autonomous":[169],"vehicles":[170],"practical":[173],"experiment":[174],"navigation":[178],"quadrotor":[181],"illustrate":[185],"results.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T08:27:34.040176","created_date":"2026-01-01T00:00:00"}