{"id":"https://openalex.org/W7161493277","doi":"https://doi.org/10.1007/978-3-032-26204-2_22","title":"Incremental Synthesis of\u00a0Safe Controller Guided by\u00a0Learning-Enabled Barrier Certificates with\u00a0Efficient LP Verification","display_name":"Incremental Synthesis of\u00a0Safe Controller Guided by\u00a0Learning-Enabled Barrier Certificates with\u00a0Efficient LP Verification","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7161493277","doi":"https://doi.org/10.1007/978-3-032-26204-2_22"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-26204-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26204-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_22.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059554537","display_name":"Niuniu Qi","orcid":"https://orcid.org/0009-0003-5352-3681"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Niuniu Qi","raw_affiliation_strings":["Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049103084","display_name":"Hanrui Zhao","orcid":"https://orcid.org/0000-0001-5246-0330"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hanrui Zhao","raw_affiliation_strings":["College of Computer Science and Technology, National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136328085","display_name":"Zhengfeng Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhengfeng Yang","raw_affiliation_strings":["Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136336537","display_name":"Xia Zeng","orcid":null},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xia Zeng","raw_affiliation_strings":["School of Computer and Information Science, Southwest University, Chongqing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Information Science, Southwest University, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109676901","display_name":"Mengxin Ren","orcid":"https://orcid.org/0009-0004-3772-8369"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mengxin Ren","raw_affiliation_strings":["Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136340834","display_name":"Chao Peng","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chao Peng","raw_affiliation_strings":["Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5136338793","display_name":"Zhiming Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiming Liu","raw_affiliation_strings":["School of Computer and Information Science, Southwest University, Chongqing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Information Science, Southwest University, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5136328085"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.92483852,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"419","last_page":"439"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8500999808311462,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8500999808311462,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.026799999177455902,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.020600000396370888,"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/scalability","display_name":"Scalability","score":0.6848000288009644},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6833000183105469},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6358000040054321},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5392000079154968},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.45719999074935913},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4390999972820282}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8504999876022339},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6848000288009644},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6833000183105469},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6358000040054321},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5392000079154968},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.45719999074935913},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4390999972820282},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.3898000121116638},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32679998874664307},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.28850001096725464},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2822999954223633},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.2646999955177307},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2549999952316284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-26204-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26204-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-26204-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26204-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1610107796","display_name":null,"funder_award_id":"2023YFA1009402","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1690479065","display_name":null,"funder_award_id":"62472362","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6641716459","display_name":null,"funder_award_id":"62272397","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7294830272","display_name":null,"funder_award_id":"2023YFA1009402","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8447102269","display_name":null,"funder_award_id":"40500-20104-222609","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7161493277.pdf","grobid_xml":"https://content.openalex.org/works/W7161493277.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W1596877211","https://openalex.org/W1607353007","https://openalex.org/W1969710845","https://openalex.org/W2033118636","https://openalex.org/W2079089353","https://openalex.org/W2136103593","https://openalex.org/W2137470393","https://openalex.org/W2483544051","https://openalex.org/W2530699422","https://openalex.org/W2606692557","https://openalex.org/W2606891832","https://openalex.org/W2953466973","https://openalex.org/W2968945909","https://openalex.org/W2998402843","https://openalex.org/W3003907021","https://openalex.org/W3042952022","https://openalex.org/W3091798065","https://openalex.org/W3131411499","https://openalex.org/W3142708584","https://openalex.org/W3158895321","https://openalex.org/W3184441520","https://openalex.org/W3185438801","https://openalex.org/W4225401163","https://openalex.org/W4238644249","https://openalex.org/W4250589301","https://openalex.org/W4290087487","https://openalex.org/W4312660377","https://openalex.org/W4379165537","https://openalex.org/W4384471488","https://openalex.org/W4384573554","https://openalex.org/W4386568800","https://openalex.org/W4386763862","https://openalex.org/W4388048626","https://openalex.org/W4390569066","https://openalex.org/W4395659908","https://openalex.org/W4396571396","https://openalex.org/W4401751764","https://openalex.org/W4404102519","https://openalex.org/W4404133795","https://openalex.org/W4404134252","https://openalex.org/W4405022145","https://openalex.org/W4405656201","https://openalex.org/W4408935245","https://openalex.org/W4409102247","https://openalex.org/W4411336643","https://openalex.org/W4411799024","https://openalex.org/W4414198026"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Safe":[1],"controller":[2,15,32,45],"synthesis":[3,16,34],"with":[4,46,60],"formal":[5],"guarantees":[6],"is":[7,64],"widely":[8],"employed":[9],"in":[10,23],"safety-critical":[11],"systems.":[12],"However,":[13],"existing":[14],"methods":[17],"are":[18],"subject":[19],"to":[20],"significant":[21],"limitations":[22],"scalability":[24],"and":[25,83,100],"efficiency.":[26],"This":[27],"paper":[28],"presents":[29],"a":[30,43,55,79,88],"novel":[31],"incremental":[33],"framework":[35],"guided":[36],"by":[37],"barrier":[38],"certificates":[39],"(BCs),":[40],"thereby":[41],"generating":[42],"safe":[44],"BC":[47,58],"verification.":[48],"To":[49],"enhance":[50],"verification":[51],"efficiency,":[52],"we":[53,76],"construct":[54],"learning-enabled":[56],"polynomial":[57],"combined":[59],"efficient":[61],"post-verification,":[62],"which":[63],"transformed":[65],"into":[66],"smaller-scale":[67],"linear":[68],"Programming":[69],"(LP)":[70],"subproblems":[71],"for":[72],"feasibility":[73],"determination.":[74],"Furthermore,":[75],"have":[77],"implemented":[78],"tool":[80],"called":[81],"ISafeC":[82],"evaluated":[84],"its":[85],"performance":[86],"over":[87],"set":[89],"of":[90,102],"benchmark":[91],"examples.":[92],"The":[93],"comparative":[94],"experimental":[95],"results":[96],"demonstrate":[97],"the":[98],"effectiveness":[99],"efficiency":[101],"our":[103],"approach.":[104]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-05-18T00:00:00"}