{"id":"https://openalex.org/W4394627548","doi":"https://doi.org/10.1109/tac.2024.3386633","title":"Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems","display_name":"Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems","publication_year":2024,"publication_date":"2024-04-09","ids":{"openalex":"https://openalex.org/W4394627548","doi":"https://doi.org/10.1109/tac.2024.3386633"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2024.3386633","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3386633","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","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/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"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":true,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["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"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029069358","display_name":"Emilio Frazzoli","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Emilio Frazzoli","raw_affiliation_strings":["Institute for Dynamic Systems and Control, ETH Zurich, Z&#x00FC;rich, Switzerland"],"affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control, ETH Zurich, Z&#x00FC;rich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5011080021"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":4.7778,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.94973924,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"69","issue":"11","first_page":"7294","last_page":"7309"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.984000027179718,"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"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9836999773979187,"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/scalability","display_name":"Scalability","score":0.6147886514663696},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4954570531845093},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3558982014656067}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6147886514663696},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4954570531845093},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3558982014656067},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2024.3386633","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3386633","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1552094772","https://openalex.org/W1607353007","https://openalex.org/W1967073510","https://openalex.org/W1967184028","https://openalex.org/W2018087463","https://openalex.org/W2023808162","https://openalex.org/W2024828675","https://openalex.org/W2033118636","https://openalex.org/W2047671935","https://openalex.org/W2080813827","https://openalex.org/W2087486424","https://openalex.org/W2094599695","https://openalex.org/W2098898086","https://openalex.org/W2126147754","https://openalex.org/W2126509476","https://openalex.org/W2154388121","https://openalex.org/W2163083887","https://openalex.org/W2345020933","https://openalex.org/W2759834774","https://openalex.org/W2782983619","https://openalex.org/W2823704907","https://openalex.org/W2968945909","https://openalex.org/W2972429904","https://openalex.org/W2993061841","https://openalex.org/W3012097656","https://openalex.org/W3012149701","https://openalex.org/W3023718358","https://openalex.org/W3025302876","https://openalex.org/W3125855560","https://openalex.org/W3135387141","https://openalex.org/W3135557518","https://openalex.org/W3152880321","https://openalex.org/W4226165084","https://openalex.org/W4308984347","https://openalex.org/W4315489197","https://openalex.org/W4396571443","https://openalex.org/W6639429317","https://openalex.org/W6723154712","https://openalex.org/W6774429152","https://openalex.org/W7009918835"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W1982914007","https://openalex.org/W2159583675","https://openalex.org/W1824242903","https://openalex.org/W1493858311","https://openalex.org/W2155470929","https://openalex.org/W2394465510","https://openalex.org/W2111125783"],"abstract_inverted_index":{"In":[0,58],"this":[1],"paper,":[2],"we":[3,62,150],"propose":[4,195],"a":[5,28,178,196,221],"compositional":[6,65],"scheme":[7],"for":[8,38,51,75,158,201],"the":[9,90,96,99,108,117,127,130],"safety":[10,49],"controller":[11],"synthesis":[12],"of":[13,30,84,98,107,112,162,181,204,226],"stochastic":[14,145,159,183],"switched":[15,40,184,231],"networks":[16,53,77],"with":[17,147,166,248],"<italic":[18,32,70,135,168,190,222,228,237,243,249],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[19,33,71,136,169,191,223,229,238,244,250],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">dwell-time</i>":[20,251],"conditions.":[21,252],"The":[22],"proposed":[23,60,215],"framework":[24],"is":[25],"based":[26,78],"on":[27,79,126,177],"notion":[29],"so-called":[31],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">transition":[34,72],"sub-barrier":[35,82],"certificates</i>":[36,74],"constructed":[37,118],"each":[39,163,205],"subsystem,":[41],"by":[42,217],"employing":[43],"which":[44],"one":[45],"can":[46,94],"compositionally":[47,68],"synthesize":[48],"controllers":[50],"interconnected":[52,76,131],"over":[54],"(in)finite":[55,140],"time":[56,141],"horizons.":[57,142],"our":[59,214],"scheme,":[61],"leverage":[63],"dissipativity-type":[64],"conditions":[66,93],"to":[67,156,199,220],"construct":[69],"barrier":[73,120],"their":[80],"corresponding":[81],"certificates":[83,121,161,203,247],"individual":[85],"subsystems.":[86,113],"We":[87,114,174,212],"show":[88],"that":[89,129],"provided":[91],"compositionality":[92],"utilize":[95,116],"structure":[97],"interconnection":[100],"topology":[101],"and":[102,122,194,242],"be":[103],"potentially":[104],"satisfied":[105],"independently":[106],"number":[109],"or":[110],"gains":[111],"then":[115,175],"transition":[119],"quantify":[123],"upper":[124],"bounds":[125],"probability":[128],"network":[132,225],"reaches":[133],"certain":[134],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">unsafe</i>":[137],"regions":[138],"in":[139],"For":[143],"nonlinear":[144,182],"systems":[146,185],"polynomial":[148],"dynamics,":[149],"employ":[151],"sum-of-squares":[152],"(SOS)":[153],"optimization":[154],"programs":[155],"search":[157,200],"storage":[160,202,246],"switching":[164],"mode":[165,206],"its":[167],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">independent":[170],"supply":[171,240],"rate</i>":[172],".":[173],"focus":[176],"particular":[179],"class":[180],"whose":[186],"nonlinearities":[187],"satisfy":[188],"some":[189,209],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">linear-growth":[192],"restriction</i>":[193],"constructive":[197],"approach":[198],"via":[207],"satisfying":[208],"matrix":[210],"inequalities.":[211],"demonstrate":[213],"results":[216],"applying":[218],"them":[219],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">fully-interconnected</i>":[224],"400":[227],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">nonlinear</i>":[230],"subsystems":[232],"(totally":[233],"800":[234],"dimensions)":[235],"accepting":[236],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">multiple</i>":[239,245],"rates":[241]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}