{"id":"https://openalex.org/W4400946837","doi":"https://doi.org/10.23919/ecc64448.2024.10591251","title":"Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training","display_name":"Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training","publication_year":2024,"publication_date":"2024-06-25","ids":{"openalex":"https://openalex.org/W4400946837","doi":"https://doi.org/10.23919/ecc64448.2024.10591251"},"language":"en","primary_location":{"id":"doi:10.23919/ecc64448.2024.10591251","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10591251","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","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/A5100352800","display_name":"Xinyu Wang","orcid":"https://orcid.org/0000-0002-5507-6569"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Xinyu Wang","raw_affiliation_strings":["Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061126109","display_name":"Luzia Knoedler","orcid":"https://orcid.org/0000-0002-0417-9912"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Luzia Knoedler","raw_affiliation_strings":["Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012269939","display_name":"Frederik Baymler Mathiesen","orcid":"https://orcid.org/0000-0002-2243-0445"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Frederik Baymler Mathiesen","raw_affiliation_strings":["Delft Center for Systems and Control, Delft University of Technology,Delft,Netherlands,2628CD"],"affiliations":[{"raw_affiliation_string":"Delft Center for Systems and Control, Delft University of Technology,Delft,Netherlands,2628CD","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013297671","display_name":"Javier Alonso\u2013Mora","orcid":"https://orcid.org/0000-0003-0058-570X"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Javier Alonso-Mora","raw_affiliation_strings":["Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology,Cognitive Robotics Department,Delft,Netherlands,2628CD","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100352800"],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":2.2284,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87900283,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"571","last_page":"578"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.967199981212616,"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/T12810","display_name":"Real-time simulation and control systems","score":0.967199981212616,"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/computer-science","display_name":"Computer science","score":0.6304653882980347},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.5706849098205566},{"id":"https://openalex.org/keywords/training","display_name":"Training (meteorology)","score":0.5070676803588867},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.46469590067863464},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.33908307552337646},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31740665435791016},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12348592281341553}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6304653882980347},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.5706849098205566},{"id":"https://openalex.org/C2777211547","wikidata":"https://www.wikidata.org/wiki/Q17141490","display_name":"Training (meteorology)","level":2,"score":0.5070676803588867},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.46469590067863464},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.33908307552337646},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31740665435791016},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12348592281341553},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C153294291","wikidata":"https://www.wikidata.org/wiki/Q25261","display_name":"Meteorology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc64448.2024.10591251","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc64448.2024.10591251","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1833752784","https://openalex.org/W2137983211","https://openalex.org/W2560504659","https://openalex.org/W2569839618","https://openalex.org/W2736601468","https://openalex.org/W2761389615","https://openalex.org/W2884958048","https://openalex.org/W2891698621","https://openalex.org/W2968547875","https://openalex.org/W2968945909","https://openalex.org/W3131411499","https://openalex.org/W3134676333","https://openalex.org/W3143034939","https://openalex.org/W3148337675","https://openalex.org/W3216584063","https://openalex.org/W4206554519","https://openalex.org/W4212774754","https://openalex.org/W4306704288","https://openalex.org/W4312121898","https://openalex.org/W4312744983","https://openalex.org/W4315489117","https://openalex.org/W4315606134","https://openalex.org/W4317553716","https://openalex.org/W4381571085","https://openalex.org/W4383108928","https://openalex.org/W6606935068","https://openalex.org/W6638692053","https://openalex.org/W6680133082","https://openalex.org/W6741002519","https://openalex.org/W6750745550","https://openalex.org/W6754543342","https://openalex.org/W6767277667","https://openalex.org/W6782293614","https://openalex.org/W6801468180","https://openalex.org/W6846121533","https://openalex.org/W6847069214","https://openalex.org/W6847489475"],"related_works":["https://openalex.org/W230091440","https://openalex.org/W24774503","https://openalex.org/W2233261550","https://openalex.org/W2810751659","https://openalex.org/W258997015","https://openalex.org/W2997094352","https://openalex.org/W2014821076","https://openalex.org/W3216976533","https://openalex.org/W100620283","https://openalex.org/W2495260952"],"abstract_inverted_index":{"Control":[0],"Barrier":[1],"Functions":[2],"(CBFs)":[3],"that":[4,57,81,112,150],"provide":[5],"formal":[6],"safety":[7],"guarantees":[8],"have":[9],"been":[10],"widely":[11],"used":[12],"for":[13,151],"safety-critical":[14],"systems.":[15],"However,":[16],"it":[17,34],"is":[18,136],"non-trivial":[19],"to":[20,54,64,90,105,116,143,185,190],"design":[21],"a":[22,58,66,79,94,152,161,165,169,187],"CBF.":[23],"Utilizing":[24],"neural":[25,59,95,134,162,175,183],"networks":[26],"as":[27,38,164],"CBFs":[28],"has":[29],"shown":[30],"great":[31],"success,":[32],"but":[33],"necessitates":[35],"their":[36],"certification":[37],"CBFs.":[39],"In":[40,98],"this":[41],"work,":[42],"we":[43,76,100],"leverage":[44],"bound":[45],"propagation":[46],"techniques":[47],"and":[48,92,121,167],"the":[49,62,69,83,87,102,109,118,123,140,145,192],"Branch-and":[50],"-":[51],"Bound":[52],"scheme":[53,85,104],"efficiently":[55,159],"verify":[56,93],"network":[60,135,163],"satisfies":[61],"conditions":[63,120],"be":[65],"CBF":[67,96,119,146,166,176,184],"over":[68],"continuous":[70],"state":[71,110],"space.":[72],"To":[73],"accelerate":[74],"training,":[75],"further":[77,179],"present":[78],"framework":[80,157],"embeds":[82],"verification":[84,103],"into":[86],"training":[88,124],"loop":[89],"synthesize":[91],"simultaneously.":[97],"partic-ular,":[99],"employ":[101,180],"identify":[106],"partitions":[107],"of":[108,195],"space":[111],"are":[113],"not":[114],"guaranteed":[115],"satisfy":[117],"expand":[122],"dataset":[125,142],"by":[126],"incorporating":[127],"additional":[128],"data":[129],"from":[130],"these":[131],"partitions.":[132],"The":[133],"then":[137],"optimized":[138],"using":[139],"augmented":[141],"meet":[144],"conditions.":[147],"We":[148,178],"show":[149],"non-linear":[153],"control-affine":[154],"system,":[155],"our":[156,181,196],"can":[158],"certify":[160],"render":[168],"larger":[170],"safe":[171,188],"set":[172],"than":[173],"state-of-the-art":[174],"works.":[177],"learned":[182],"derive":[186],"controller":[189],"illustrate":[191],"practical":[193],"use":[194],"framework.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6}],"updated_date":"2026-04-18T07:56:08.524223","created_date":"2025-10-10T00:00:00"}