{"id":"https://openalex.org/W4294692068","doi":"https://doi.org/10.23919/acc53348.2022.9867503","title":"Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching","display_name":"Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching","publication_year":2022,"publication_date":"2022-06-08","ids":{"openalex":"https://openalex.org/W4294692068","doi":"https://doi.org/10.23919/acc53348.2022.9867503"},"language":"en","primary_location":{"id":"doi:10.23919/acc53348.2022.9867503","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867503","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 American Control Conference (ACC)","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/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"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":true,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["Institute for Dynamic Systems and Control,ETH Zurich,Switzerland","ETH Zurich, Institute for Dynamic Systems and Control, Switzerland"],"affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control,ETH Zurich,Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"ETH Zurich, Institute for Dynamic Systems and Control, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"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,Switzerland","ETH Zurich, Institute for Dynamic Systems and Control, Switzerland"],"affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control,ETH Zurich,Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"ETH Zurich, Institute for Dynamic Systems and Control, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5011080021"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":1.2984,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79372937,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"4838","last_page":"4843"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9965999722480774,"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/leverage","display_name":"Leverage (statistics)","score":0.7007620334625244},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.6401379704475403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6339422464370728},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5700129866600037},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5012836456298828},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4940848648548126},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.4939127564430237},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.46617579460144043},{"id":"https://openalex.org/keywords/continuous-time-markov-chain","display_name":"Continuous-time Markov chain","score":0.42968058586120605},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.41384077072143555},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.379210889339447},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.23318925499916077},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.22215256094932556},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1730242669582367},{"id":"https://openalex.org/keywords/markov-property","display_name":"Markov property","score":0.10020744800567627}],"concepts":[{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7007620334625244},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.6401379704475403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6339422464370728},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5700129866600037},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5012836456298828},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4940848648548126},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.4939127564430237},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.46617579460144043},{"id":"https://openalex.org/C147080032","wikidata":"https://www.wikidata.org/wiki/Q176720","display_name":"Continuous-time Markov chain","level":5,"score":0.42968058586120605},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.41384077072143555},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.379210889339447},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.23318925499916077},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.22215256094932556},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1730242669582367},{"id":"https://openalex.org/C189973286","wikidata":"https://www.wikidata.org/wiki/Q176695","display_name":"Markov property","level":4,"score":0.10020744800567627},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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},{"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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc53348.2022.9867503","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc53348.2022.9867503","pdf_url":null,"source":{"id":"https://openalex.org/S4363607732","display_name":"2022 American Control Conference (ACC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1489872560","https://openalex.org/W1607353007","https://openalex.org/W1967073510","https://openalex.org/W1972149633","https://openalex.org/W2018087463","https://openalex.org/W2023808162","https://openalex.org/W2033118636","https://openalex.org/W2047671935","https://openalex.org/W2080813827","https://openalex.org/W2087486424","https://openalex.org/W2094599695","https://openalex.org/W2119567691","https://openalex.org/W2126147754","https://openalex.org/W2326471176","https://openalex.org/W2490900388","https://openalex.org/W2558765880","https://openalex.org/W2759834774","https://openalex.org/W2782983619","https://openalex.org/W2944522148","https://openalex.org/W2963686733","https://openalex.org/W2964046756","https://openalex.org/W2968945909","https://openalex.org/W2972429904","https://openalex.org/W2993061841","https://openalex.org/W3001057880","https://openalex.org/W3007404411","https://openalex.org/W3012097656","https://openalex.org/W3023718358","https://openalex.org/W3025302876","https://openalex.org/W3125855560","https://openalex.org/W3153831685","https://openalex.org/W3154884574","https://openalex.org/W4226165084","https://openalex.org/W4287168735","https://openalex.org/W4300680548","https://openalex.org/W6639429317","https://openalex.org/W6761762134","https://openalex.org/W6790048623","https://openalex.org/W6795528858"],"related_works":["https://openalex.org/W2113019827","https://openalex.org/W3173774827","https://openalex.org/W2016937859","https://openalex.org/W1603763795","https://openalex.org/W2098336262","https://openalex.org/W296145649","https://openalex.org/W1597694995","https://openalex.org/W2096344948","https://openalex.org/W68471190","https://openalex.org/W2597822044"],"abstract_inverted_index":{"In":[0],"this":[1],"work,":[2],"we":[3,61],"propose":[4],"a":[5,28,63,151,160,189,193],"compositional":[6,107],"scheme":[7],"for":[8,36,47,70,94,192],"the":[9,111,114,122,131,140,143,183],"safety":[10,52,82,179],"controller":[11],"synthesis":[12],"of":[13,30,74,101,113,121,126,164,185],"interconnected":[14,48,95,144],"discrete-time":[15],"stochastic":[16],"systems":[17,49,96],"with":[18,167],"Markovian":[19,168],"switching":[20,76,169],"signals.":[21],"Our":[22],"proposed":[23,105],"approach":[24,67],"is":[25],"based":[26,97],"on":[27,98,139],"notion":[29],"so-called":[31],"control":[32],"storage":[33,72,99,174],"certificates":[34,73,93,100],"computed":[35],"individual":[37,102],"subsystems,":[38],"by":[39],"leveraging":[40],"which,":[41],"one":[42],"can":[43,109],"synthesize":[44,178],"state-feedback":[45],"controllers":[46,180],"to":[50,68,89,159,181],"enforce":[51],"specifications":[53],"over":[54],"finite":[55,152],"time":[56,153,195],"horizons.":[57],"To":[58],"do":[59],"so,":[60],"employ":[62,130],"sum-of-squares":[64],"(SOS)":[65],"optimization":[66],"search":[69],"multiple":[71,173],"each":[75,186],"subsystem":[77],"while":[78,171],"synthesizing":[79],"its":[80],"corresponding":[81],"controller.":[83],"We":[84,128,155,176],"then":[85],"utilize":[86],"dissipativity":[87],"theory":[88],"compositionally":[90,177],"construct":[91],"barrier":[92,133],"subsystems.":[103,127],"The":[104],"dissipativity-type":[106],"conditions":[108],"leverage":[110],"structure":[112],"interconnection":[115],"topology":[116],"and":[117,135],"be":[118],"fulfilled":[119],"independently":[120],"number":[123],"or":[124],"gains":[125],"eventually":[129],"constructed":[132],"certificate":[134],"quantify":[136],"upper":[137],"bounds":[138],"probability":[141],"that":[142],"system":[145],"reaches":[146],"certain":[147],"unsafe":[148],"regions":[149],"in":[150,188],"horizon.":[154,196],"apply":[156],"our":[157],"results":[158],"room":[161,187],"temperature":[162,184],"network":[163],"200":[165],"rooms":[166],"signals":[170],"accepting":[172],"certificates.":[175],"maintain":[182],"comfort":[190],"zone":[191],"bounded":[194]},"counts_by_year":[{"year":2024,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}