{"id":"https://openalex.org/W3021396261","doi":"https://doi.org/10.1109/lcsys.2020.2994039","title":"Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems","display_name":"Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3021396261","doi":"https://doi.org/10.1109/lcsys.2020.2994039","mag":"3021396261"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2020.2994039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2020.2994039","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2005.01287","any_repository_has_fulltext":true},"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/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ameneh Nejati","raw_affiliation_strings":["Technical University of Munich, Munich, Germany","[Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany]"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"[Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany]","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle Upon Tyne, U.K","[School of Computing, Newcastle University, Newcastle upon Tyne, U.K]"],"affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle Upon Tyne, U.K","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"[School of Computing, Newcastle University, Newcastle upon Tyne, U.K]","institution_ids":["https://openalex.org/I84884186"]}]},{"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"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Majid Zamani","raw_affiliation_strings":["Ludwig Maximilian University of Munich, Munich, Germany","University of Colorado Boulder, Boulder, USA","[Computer Science Department, University of Colorado Boulder, Boulder, CO, USA]"],"affiliations":[{"raw_affiliation_string":"Ludwig Maximilian University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I8204097"]},{"raw_affiliation_string":"University of Colorado Boulder, Boulder, USA","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"[Computer Science Department, University of Colorado Boulder, Boulder, CO, USA]","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5061394007"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07551579,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9988999962806702,"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/dwell-time","display_name":"Dwell time","score":0.7773675918579102},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7759490013122559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5707923769950867},{"id":"https://openalex.org/keywords/horizon","display_name":"Horizon","score":0.4636707305908203},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4484829008579254},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.44710877537727356},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4344554543495178},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.35515111684799194},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2038469910621643}],"concepts":[{"id":"https://openalex.org/C151637689","wikidata":"https://www.wikidata.org/wiki/Q5318064","display_name":"Dwell time","level":2,"score":0.7773675918579102},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7759490013122559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5707923769950867},{"id":"https://openalex.org/C159176650","wikidata":"https://www.wikidata.org/wiki/Q43261","display_name":"Horizon","level":2,"score":0.4636707305908203},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4484829008579254},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.44710877537727356},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4344554543495178},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35515111684799194},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2038469910621643},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C70410870","wikidata":"https://www.wikidata.org/wiki/Q199906","display_name":"Clinical psychology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/lcsys.2020.2994039","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2020.2994039","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"},{"id":"pmh:oai:arXiv.org:2005.01287","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.01287","pdf_url":"https://arxiv.org/pdf/2005.01287","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3021396261","is_oa":true,"landing_page_url":"http://arxiv.org/pdf/2005.01287.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2005.01287","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2005.01287","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2005.01287","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.01287","pdf_url":"https://arxiv.org/pdf/2005.01287","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3021396261.pdf"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W1022177737","https://openalex.org/W1480909796","https://openalex.org/W1489872560","https://openalex.org/W1498432697","https://openalex.org/W1552094772","https://openalex.org/W1887806484","https://openalex.org/W1967073510","https://openalex.org/W2023808162","https://openalex.org/W2028462202","https://openalex.org/W2033118636","https://openalex.org/W2098898086","https://openalex.org/W2166280160","https://openalex.org/W2759834774","https://openalex.org/W2763887684","https://openalex.org/W2782983619","https://openalex.org/W2810334434","https://openalex.org/W2889348608","https://openalex.org/W2944522148","https://openalex.org/W2948317123","https://openalex.org/W2954737717","https://openalex.org/W2963355499","https://openalex.org/W2963686733","https://openalex.org/W2964046756","https://openalex.org/W2967232654","https://openalex.org/W3001057880","https://openalex.org/W3006133815","https://openalex.org/W3007404411","https://openalex.org/W3007639543","https://openalex.org/W3012149701","https://openalex.org/W3012437857","https://openalex.org/W3023718358","https://openalex.org/W3025302876","https://openalex.org/W3101604534","https://openalex.org/W3152880321","https://openalex.org/W3153831685","https://openalex.org/W3154884574","https://openalex.org/W3203185400","https://openalex.org/W6774429152","https://openalex.org/W6793610822","https://openalex.org/W6794700871"],"related_works":["https://openalex.org/W3025302876","https://openalex.org/W2304970226","https://openalex.org/W2939318619","https://openalex.org/W2237296906","https://openalex.org/W3091875160","https://openalex.org/W1977983460","https://openalex.org/W3035611468","https://openalex.org/W2411612832","https://openalex.org/W3107258301","https://openalex.org/W3010722206","https://openalex.org/W2520444326","https://openalex.org/W3046182703","https://openalex.org/W2883723988","https://openalex.org/W1682789408","https://openalex.org/W3198822732","https://openalex.org/W2588479454","https://openalex.org/W2159692294","https://openalex.org/W2810677112","https://openalex.org/W2189921618","https://openalex.org/W2952063847"],"abstract_inverted_index":{"In":[0,65],"this":[1],"letter,":[2],"we":[3,67],"propose":[4],"a":[5,35,62,105,110,114],"compositional":[6],"framework":[7],"for":[8,15,43,55,81,123],"the":[9,85,93],"construction":[10],"of":[11,37,127],"control":[12,22,78,124],"barrier":[13,23,79,125],"certificates":[14,24,41,80,126],"large-scale":[16],"stochastic":[17],"switched":[18,45],"systems":[19,57],"accepting":[20],"multiple":[21],"with":[25],"some":[26],"dwell-time":[27],"conditions.":[28],"The":[29],"proposed":[30,140],"scheme":[31],"is":[32],"based":[33,112],"on":[34,89,113],"notion":[36],"so-called":[38],"augmented":[39,77],"pseudo-barrier":[40],"computed":[42],"each":[44,128],"subsystem,":[46],"using":[47],"which":[48],"one":[49],"can":[50],"compositionally":[51,75],"synthesize":[52],"state-feedback":[53],"controllers":[54,133],"interconnected":[56,82,97],"enforcing":[58],"safety":[59,132],"specifications":[60],"over":[61],"finite-time":[63,106],"horizon.":[64,107],"particular,":[66],"first":[68],"leverage":[69],"sufficient":[70],"max-type":[71],"small-gain":[72],"conditions":[73],"to":[74,121,145],"construct":[76],"systems.":[83],"We":[84,108,137],"quantify":[86],"upper":[87],"bounds":[88],"exit":[90],"probabilities":[91],"-":[92,103],"probability":[94],"that":[95],"an":[96],"system":[98],"reaches":[99],"certain":[100],"unsafe":[101],"regions":[102],"in":[104],"employ":[109],"technique":[111],"counter-example":[115],"guided":[116],"inductive":[117],"synthesis":[118],"(CEGIS)":[119],"approach":[120],"search":[122],"mode":[129],"while":[130],"synthesizing":[131],"providing":[134],"switching":[135],"signals.":[136],"demonstrate":[138],"our":[139],"results":[141],"by":[142],"applying":[143],"them":[144],"two":[146],"different":[147],"case":[148],"studies.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}