{"id":"https://openalex.org/W4417354306","doi":"https://doi.org/10.1016/j.sysconle.2025.106325","title":"Data-driven certified control barrier functions","display_name":"Data-driven certified control barrier functions","publication_year":2025,"publication_date":"2025-12-16","ids":{"openalex":"https://openalex.org/W4417354306","doi":"https://doi.org/10.1016/j.sysconle.2025.106325"},"language":"en","primary_location":{"id":"doi:10.1016/j.sysconle.2025.106325","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysconle.2025.106325","pdf_url":null,"source":{"id":"https://openalex.org/S56603566","display_name":"Systems & Control Letters","issn_l":"0167-6911","issn":["0167-6911","1872-7956"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems & Control Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.sysconle.2025.106325","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015222476","display_name":"Ali Kashani","orcid":"https://orcid.org/0000-0002-7383-5792"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ali Kashani","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7383-5792","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007094828","display_name":"Amy K. Strong","orcid":"https://orcid.org/0000-0001-9013-1933"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amy K. Strong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045474002","display_name":"Leila Bridgeman","orcid":"https://orcid.org/0000-0002-9367-7218"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leila J. Bridgeman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5072891938","display_name":"Claus Danielson","orcid":"https://orcid.org/0000-0002-2317-3014"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Claus Danielson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5015222476"],"corresponding_institution_ids":[],"apc_list":{"value":2910,"currency":"USD","value_usd":2910},"apc_paid":{"value":2910,"currency":"USD","value_usd":2910},"fwci":0.4423,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65765544,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"208","issue":null,"first_page":"106325","last_page":"106325"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11236","display_name":"Control Systems and Identification","score":0.26339998841285706,"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/T11236","display_name":"Control Systems and Identification","score":0.26339998841285706,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.07660000026226044,"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/T10142","display_name":"Formal Methods in Verification","score":0.0722000002861023,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.6969000101089478},{"id":"https://openalex.org/keywords/lipschitz-continuity","display_name":"Lipschitz continuity","score":0.6279000043869019},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5753999948501587},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5037999749183655},{"id":"https://openalex.org/keywords/fractal","display_name":"Fractal","score":0.42179998755455017},{"id":"https://openalex.org/keywords/chaotic","display_name":"Chaotic","score":0.4194999933242798},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4097000062465668},{"id":"https://openalex.org/keywords/nonlinear-control","display_name":"Nonlinear control","score":0.3652999997138977},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.365200012922287}],"concepts":[{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6969000101089478},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.6279000043869019},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5753999948501587},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5037999749183655},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48539999127388},{"id":"https://openalex.org/C40636538","wikidata":"https://www.wikidata.org/wiki/Q81392","display_name":"Fractal","level":2,"score":0.42179998755455017},{"id":"https://openalex.org/C2777052490","wikidata":"https://www.wikidata.org/wiki/Q5072826","display_name":"Chaotic","level":2,"score":0.4194999933242798},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4097000062465668},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3707999885082245},{"id":"https://openalex.org/C91581856","wikidata":"https://www.wikidata.org/wiki/Q2707001","display_name":"Nonlinear control","level":3,"score":0.3652999997138977},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C22157029","wikidata":"https://www.wikidata.org/wiki/Q17080460","display_name":"Nonlinear system identification","level":4,"score":0.35670000314712524},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33809998631477356},{"id":"https://openalex.org/C87698059","wikidata":"https://www.wikidata.org/wiki/Q1808960","display_name":"LTI system theory","level":3,"score":0.3375000059604645},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3255000114440918},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.32120001316070557},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.3188999891281128},{"id":"https://openalex.org/C164380108","wikidata":"https://www.wikidata.org/wiki/Q507187","display_name":"Attractor","level":2,"score":0.31690001487731934},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2924000024795532},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.2838999927043915},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.263700008392334},{"id":"https://openalex.org/C119247159","wikidata":"https://www.wikidata.org/wiki/Q1366192","display_name":"System identification","level":3,"score":0.2551000118255615}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.sysconle.2025.106325","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysconle.2025.106325","pdf_url":null,"source":{"id":"https://openalex.org/S56603566","display_name":"Systems & Control Letters","issn_l":"0167-6911","issn":["0167-6911","1872-7956"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems & Control Letters","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/j.sysconle.2025.106325","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysconle.2025.106325","pdf_url":null,"source":{"id":"https://openalex.org/S56603566","display_name":"Systems & Control Letters","issn_l":"0167-6911","issn":["0167-6911","1872-7956"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems & Control Letters","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G400768797","display_name":"Collaborative Research: Negotiated Planning for Stochastic Control of Dynamical Systems","funder_award_id":"2105631","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7753775335","display_name":"Collaborative Research: Data-Driven Invariant Sets for Provably Safe Autonomy","funder_award_id":"2303157","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337391","display_name":"Division of Civil, Mechanical and Manufacturing Innovation","ror":"https://ror.org/028yd4c30"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1566303096","https://openalex.org/W2043182061","https://openalex.org/W2057133391","https://openalex.org/W2160781031","https://openalex.org/W2235179049","https://openalex.org/W2524522145","https://openalex.org/W2952672134","https://openalex.org/W3011457441","https://openalex.org/W3086013336","https://openalex.org/W3099188673","https://openalex.org/W3119241782","https://openalex.org/W3155291786","https://openalex.org/W3186992617","https://openalex.org/W3214021645","https://openalex.org/W4286253093","https://openalex.org/W4367016879","https://openalex.org/W4387610443","https://openalex.org/W4388430609","https://openalex.org/W4388479641","https://openalex.org/W4396571396","https://openalex.org/W4404948827","https://openalex.org/W4405520433"],"related_works":[],"abstract_inverted_index":{"Control":[0],"barrier":[1,31,51],"functions":[2,52],"and":[3,98,138],"invariant":[4,55,124,140],"sets":[5,56],"are":[6],"fundamental":[7],"to":[8,49,72],"constraint":[9],"enforcement":[10],"in":[11,67,70,83],"safety\u2013critical":[12],"applications.":[13],"To":[14,114],"ensure":[15],"safety,":[16],"data-driven":[17],"control":[18],"methods":[19],"based":[20],"on":[21],"nonlinear":[22,61,90,97,112],"system":[23,132],"identification":[24],"often":[25,75,99],"assume":[26],"the":[27,68,116,123,127],"existence":[28],"of":[29,118,126],"a":[30,39,95,108,130],"function":[32],"computed":[33],"from":[34],"data.":[35],"This":[36],"paper":[37],"presents":[38],"wide":[40],"artificial":[41],"neural":[42],"network":[43],"trained":[44],"under":[45],"constrained":[46],"output":[47],"evolution":[48],"synthesize":[50],"that":[53],"characterize":[54],"for":[57,89,111,134],"locally":[58],"Lipschitz":[59],"continuous":[60],"systems.":[62,113],"We":[63],"embed":[64],"safety":[65],"guarantees":[66,74],"training,":[69],"contrast":[71],"probabilistic":[73],"given":[76],"by":[77],"scenario":[78],"optimization":[79],"or":[80],"post-hoc":[81],"verification":[82],"trial-and-error":[84],"methods.":[85],"Further,":[86],"guaranteeing":[87],"invariance":[88],"systems":[91],"generally":[92],"requires":[93],"solving":[94],"model-based":[96],"non-convex":[100],"program.":[101],"Conversely,":[102],"we":[103,121],"formulate":[104],"our":[105,119],"approach":[106],"as":[107],"linear":[109],"program":[110],"demonstrate":[115],"versatility":[117],"method,":[120],"approximate":[122],"set":[125],"Julia":[128],"map,":[129],"chaotic":[131],"known":[133],"its":[135],"complex":[136],"behavior":[137],"fractal":[139],"sets.":[141]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-12-16T00:00:00"}