{"id":"https://openalex.org/W4414198026","doi":"https://doi.org/10.1109/dac63849.2025.11132490","title":"Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates","display_name":"Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4414198026","doi":"https://doi.org/10.1109/dac63849.2025.11132490"},"language":"en","primary_location":{"id":"doi:10.1109/dac63849.2025.11132490","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11132490","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-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/A5079927285","display_name":"Xia Zeng","orcid":"https://orcid.org/0000-0003-2575-7045"},"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":true,"raw_author_name":"Xia Zeng","raw_affiliation_strings":["Southwest University"],"affiliations":[{"raw_affiliation_string":"Southwest University","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/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":["East China Normal University"],"affiliations":[{"raw_affiliation_string":"East China Normal University","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100405109","display_name":"Zhiming Liu","orcid":"https://orcid.org/0000-0001-9771-3071"},"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":["Southwest University"],"affiliations":[{"raw_affiliation_string":"Southwest University","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065028030","display_name":"Zhengfeng Yang","orcid":"https://orcid.org/0000-0003-1209-8191"},"institutions":[{"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":"Zhengfeng Yang","raw_affiliation_strings":["East China Normal University"],"affiliations":[{"raw_affiliation_string":"East China Normal University","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5079927285"],"corresponding_institution_ids":["https://openalex.org/I142108993"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.30090969,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9851999878883362,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9851999878883362,"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/T10142","display_name":"Formal Methods in Verification","score":0.9828000068664551,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9790999889373779,"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6118999719619751},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5442000031471252},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5249999761581421},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.47130000591278076},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.412200003862381},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3885999917984009},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.384799987077713},{"id":"https://openalex.org/keywords/support-vector-machine","display_name":"Support vector machine","score":0.36579999327659607}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6744999885559082},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6118999719619751},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5442000031471252},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5249999761581421},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.47130000591278076},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4228000044822693},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.412200003862381},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3885999917984009},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.384799987077713},{"id":"https://openalex.org/C12267149","wikidata":"https://www.wikidata.org/wiki/Q282453","display_name":"Support vector machine","level":2,"score":0.36579999327659607},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.3589000105857849},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3361999988555908},{"id":"https://openalex.org/C152060993","wikidata":"https://www.wikidata.org/wiki/Q1759392","display_name":"Vector control","level":4,"score":0.3276999890804291},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2572999894618988},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2567000091075897},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2515999972820282},{"id":"https://openalex.org/C2985598853","wikidata":"https://www.wikidata.org/wiki/Q644785","display_name":"Formal synthesis","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac63849.2025.11132490","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11132490","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320337504","display_name":"Research and Development","ror":"https://ror.org/027s68j25"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1607353007","https://openalex.org/W1627251346","https://openalex.org/W2036031393","https://openalex.org/W2086877257","https://openalex.org/W2129729773","https://openalex.org/W2137470393","https://openalex.org/W2167412190","https://openalex.org/W2194775991","https://openalex.org/W2530699422","https://openalex.org/W2809309384","https://openalex.org/W2998402843","https://openalex.org/W3042952022","https://openalex.org/W4238726034","https://openalex.org/W4244977694","https://openalex.org/W4250913065"],"related_works":[],"abstract_inverted_index":{"The":[0],"design":[1],"of":[2,15,29,57,74,89,102,109,179,196,202],"controllers":[3,16,77],"for":[4,26,122],"safety-critical":[5],"systems":[6],"is":[7,21,78,97],"an":[8],"important":[9],"research":[10],"issue.":[11],"Especially,":[12],"the":[13,69,72,84,100,107,118,127,162,169,176,187,194],"generation":[14,73],"with":[17,65,99,126,186],"formal":[18,48,66],"safety":[19,27,108,123],"guarantees":[20,49],"a":[22,87,94,143,152,200],"challenging":[23],"problem.":[24],"Recently,":[25],"objectives":[28],"various":[30],"system":[31],"control":[32],"tasks,":[33],"machine":[34],"learning":[35,58,104],"technologies":[36],"have":[37],"been":[38],"used":[39],"to":[40,60,105,168],"achieve":[41],"ideal":[42],"training":[43],"and":[44,155],"simulation":[45],"performance,":[46],"but":[47],"are":[50,114],"still":[51],"lacking.":[52],"This":[53],"paper":[54],"takes":[55],"advantages":[56],"technology":[59],"assist":[61],"safe":[62,76],"controller":[63],"synthesis":[64],"guarantees.":[67],"On":[68],"one":[70],"hand,":[71,86],"verifiable":[75],"aided":[79],"by":[80],"reinforcement":[81],"learning;":[82],"on":[83,130,199],"other":[85],"set":[88],"barrier":[90],"certificates":[91],"(BC),":[92],"i.e.":[93],"vector":[95,131,146,171],"BC,":[96,147],"synthesized":[98,110],"aid":[101],"deep":[103],"certify":[106],"controllers.":[111],"Vector":[112],"BCs":[113,121],"more":[115],"expressive":[116],"than":[117,149],"conventional":[119],"single":[120],"verification.":[124],"Compared":[125],"existing":[128,163],"work":[129],"BC":[132,172],"generation,":[133],"our":[134,140,182,197],"method":[135,141,164,183,198],"has":[136,157,165],"two":[137],"advantages:":[138],"first,":[139],"verifies":[142],"learned":[144],"candidate":[145],"rather":[148],"directly":[150],"generating":[151],"verified":[153],"one,":[154],"thus":[156],"low":[158],"computational":[159],"complexity;":[160],"second,":[161],"made":[166],"relaxations":[167],"non-convex":[170],"constraints,":[173],"which":[174],"reduced":[175],"feasible":[177],"region":[178],"solutions,":[180],"while":[181],"can":[184],"deal":[185],"original":[188],"constraints.":[189],"Furthermore,":[190],"experiments":[191],"fully":[192],"demonstrate":[193],"effectiveness":[195],"series":[201],"benchmarks.":[203]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}