{"id":"https://openalex.org/W4380450938","doi":"https://doi.org/10.1109/lcsys.2023.3285785","title":"Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates","display_name":"Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4380450938","doi":"https://doi.org/10.1109/lcsys.2023.3285785"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2023.3285785","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2023.3285785","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","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/A5061394007","display_name":"Ameneh Nejati","orcid":"https://orcid.org/0000-0002-9065-1282"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ameneh Nejati","raw_affiliation_strings":["Department of Computer Science, LMU Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9065-1282","affiliations":[{"raw_affiliation_string":"Department of Computer Science, LMU Munich, Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030109984","display_name":"Majid Zamani","orcid":"https://orcid.org/0000-0001-6608-3708"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Majid Zamani","raw_affiliation_strings":["Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA"],"raw_orcid":"https://orcid.org/0000-0001-6608-3708","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5061394007"],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":2.3314,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.88193072,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"7","issue":null,"first_page":"2497","last_page":"2502"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9987000226974487,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9987000226974487,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9973000288009644,"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.9883000254631042,"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/correctness","display_name":"Correctness","score":0.7387973666191101},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6523220539093018},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.578376054763794},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4907459020614624},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.46840590238571167},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.467338889837265},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4478760361671448},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.36158645153045654},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30729997158050537},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2241216003894806}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7387973666191101},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6523220539093018},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.578376054763794},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4907459020614624},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.46840590238571167},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.467338889837265},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4478760361671448},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36158645153045654},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30729997158050537},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2241216003894806},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lcsys.2023.3285785","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2023.3285785","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3462388371","display_name":null,"funder_award_id":"CNS-1952223","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G656430894","display_name":null,"funder_award_id":"A22-0123-S003","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8984924637","display_name":null,"funder_award_id":"CNS-2145184","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"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1607353007","https://openalex.org/W1634557639","https://openalex.org/W1980118447","https://openalex.org/W2023808162","https://openalex.org/W2033118636","https://openalex.org/W2040871222","https://openalex.org/W2052725501","https://openalex.org/W2083940610","https://openalex.org/W2345020933","https://openalex.org/W2796061040","https://openalex.org/W2963148914","https://openalex.org/W2963644532","https://openalex.org/W2968945909","https://openalex.org/W2969264971","https://openalex.org/W2991198292","https://openalex.org/W3045038673","https://openalex.org/W3113187462","https://openalex.org/W3119438804","https://openalex.org/W3119473003","https://openalex.org/W3135557518","https://openalex.org/W3217459266","https://openalex.org/W4323914099","https://openalex.org/W6785978685","https://openalex.org/W6804757558"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1590965489","https://openalex.org/W2998030147"],"abstract_inverted_index":{"This":[0],"work":[1],"proposes":[2],"a":[3,49,55,91,112,120,155,188],"data-driven":[4,80,169],"framework":[5],"to":[6,66,154,163,204],"synthesize":[7],"safety":[8,38,140],"controllers":[9,35,141],"for":[10,74,115,142],"nonlinear":[11,156],"systems":[12,40],"with":[13,41,54,126,139,146,160],"finite":[14],"input":[15],"sets":[16],"and":[17,33,118,135],"unknown":[18,99,144,161],"mathematical":[19],"models.":[20],"The":[21],"proposed":[22,59,79,86,128],"scheme":[23],"leverages":[24],"new":[25],"notions":[26],"of":[27,39,70,88,104,107,167,187,195],"multiple":[28],"control":[29,51,184],"barrier":[30,52,185],"certificates":[31],"(M-CBC)":[32],"provides":[34],"ensuring":[36],"the":[37,63,71,78,98,105,108,127,132,143,165,172,196,201],"confidence":[42],"1.":[43],"While":[44],"there":[45,179,191],"may":[46],"not":[47],"exist":[48,192],"common":[50,182],"certificate":[53,186],"fixed":[56],"template,":[57],"our":[58,85,152,168],"technique":[60],"adaptively":[61],"partitions":[62],"state":[64,202],"set":[65,203],"potentially":[67],"find":[68],"M-CBC":[69,89,137,194],"same":[72,197],"template":[73],"different":[75,205],"regions.":[76,206],"In":[77,171],"framework,":[81],"we":[82,110,175],"first":[83],"cast":[84],"conditions":[87],"as":[90],"robust":[92],"optimization":[93,122],"program":[94,123],"(ROP).":[95],"Given":[96],"that":[97,177],"model":[100],"appears":[101],"in":[102],"some":[103],"constraints":[106],"ROP,":[109],"propose":[111],"sampling":[113],"approach":[114],"collecting":[116],"data":[117],"provide":[119],"scenario":[121],"(SOP)":[124],"associated":[125],"ROP.":[129],"We":[130,150],"solve":[131],"resulted":[133],"SOP":[134],"construct":[136],"together":[138],"system":[145],"100%":[147],"correctness":[148],"guarantee.":[149],"apply":[151],"results":[153],"jet":[157],"engine":[158],"compressor":[159],"dynamics":[162],"illustrate":[164],"efficacy":[166],"approach.":[170],"case":[173],"study,":[174],"show":[176],"while":[178],"exists":[180],"no":[181],"polynomial-type":[183,193],"given":[189],"degree,":[190],"degree":[198],"by":[199],"partitioning":[200]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}