{"id":"https://openalex.org/W2885511415","doi":"https://doi.org/10.1109/tac.2020.2975812","title":"Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems","display_name":"Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems","publication_year":2020,"publication_date":"2020-02-25","ids":{"openalex":"https://openalex.org/W2885511415","doi":"https://doi.org/10.1109/tac.2020.2975812","mag":"2885511415"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2020.2975812","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2020.2975812","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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1808.00893","any_repository_has_fulltext":true},"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/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":false,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["Department of Computer Science, Ludwig Maximilian University of Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4993-3170","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Ludwig Maximilian University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I8204097"]}]},{"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]"],"raw_orcid":"https://orcid.org/0000-0003-1922-6678","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":["Department of Computer Science, Ludwig Maximilian University of Munich, Munich, Germany","Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA","Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA#TAB#"],"raw_orcid":"https://orcid.org/0000-0001-6608-3708","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Ludwig Maximilian University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I8204097"]},{"raw_affiliation_string":"Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"Department of Computer Science, University of Colorado Boulder, Boulder, CO, USA#TAB#","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1268,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.46493839,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"65","issue":"12","first_page":"5280","last_page":"5295"},"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.9950000047683716,"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.9950000047683716,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.992900013923645,"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/computer-science","display_name":"Computer science","score":0.7093182802200317},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6632858514785767},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6092015504837036},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5543604493141174},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5106173157691956},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.4766615033149719},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.45700395107269287},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4262089431285858},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.425863116979599},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.3977506160736084},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32825666666030884},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20908349752426147}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7093182802200317},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6632858514785767},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6092015504837036},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5543604493141174},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5106173157691956},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.4766615033149719},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.45700395107269287},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4262089431285858},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.425863116979599},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3977506160736084},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32825666666030884},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20908349752426147},{"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tac.2020.2975812","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2020.2975812","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"},{"id":"pmh:oai:arXiv.org:1808.00893","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1808.00893","pdf_url":"https://arxiv.org/pdf/1808.00893","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:2885511415","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1808.00893","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.1808.00893","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1808.00893","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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1808.00893","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1808.00893","pdf_url":"https://arxiv.org/pdf/1808.00893","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2885511415.pdf","grobid_xml":"https://content.openalex.org/works/W2885511415.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W138290785","https://openalex.org/W247697463","https://openalex.org/W1512937499","https://openalex.org/W1529558080","https://openalex.org/W1659646318","https://openalex.org/W1709770004","https://openalex.org/W1973013779","https://openalex.org/W1976268573","https://openalex.org/W1985124715","https://openalex.org/W1987073190","https://openalex.org/W1994003949","https://openalex.org/W2018087463","https://openalex.org/W2024828675","https://openalex.org/W2028462202","https://openalex.org/W2047671935","https://openalex.org/W2077328925","https://openalex.org/W2080813827","https://openalex.org/W2087486424","https://openalex.org/W2094599695","https://openalex.org/W2104298332","https://openalex.org/W2108886305","https://openalex.org/W2126147754","https://openalex.org/W2150141562","https://openalex.org/W2171282796","https://openalex.org/W2602502146","https://openalex.org/W2745094767","https://openalex.org/W2763887684","https://openalex.org/W2889348608","https://openalex.org/W2948317123","https://openalex.org/W2949165985","https://openalex.org/W2952918945","https://openalex.org/W2954737717","https://openalex.org/W2963001040","https://openalex.org/W2963355499","https://openalex.org/W2963686733","https://openalex.org/W2963785007","https://openalex.org/W2963871397","https://openalex.org/W2964046756","https://openalex.org/W2967232654","https://openalex.org/W2968093802","https://openalex.org/W3001057880","https://openalex.org/W3006133815","https://openalex.org/W3012149701","https://openalex.org/W3101604534","https://openalex.org/W3106028347","https://openalex.org/W4238591275","https://openalex.org/W6637390554"],"related_works":["https://openalex.org/W3007404411","https://openalex.org/W2889348608","https://openalex.org/W3006133815","https://openalex.org/W2998733794","https://openalex.org/W3023718358","https://openalex.org/W2954737717","https://openalex.org/W2952136903","https://openalex.org/W3023300529","https://openalex.org/W2963686733","https://openalex.org/W3012149701","https://openalex.org/W2944758937","https://openalex.org/W2948317123","https://openalex.org/W2963871397","https://openalex.org/W2968093802","https://openalex.org/W2804235026","https://openalex.org/W2903337614","https://openalex.org/W2804363914","https://openalex.org/W2756807275","https://openalex.org/W3125833081","https://openalex.org/W3002811560"],"abstract_inverted_index":{"This":[0],"article":[1],"is":[2,32],"concerned":[3],"with":[4,60,103,219],"a":[5,49,110,197,234,238,244,248,272],"compositional":[6,78,132],"approach":[7,140],"for":[8,76,109,130,165,271],"constructing":[9],"both":[10],"infinite":[11,95,100],"(reduced-order":[12],"models)":[13],"and":[14,91,241],"finite":[15,18,135,143,146,210,245,257],"abstractions":[16,101,147,258],"[a.k.a.":[17],"Markov":[19],"decision":[20],"processes":[21],"(MDPs)]":[22],"of":[23,37,51,68,80,87,93,113,123,134,148,169,188,201,247],"large-scale":[24],"interconnected":[25,199],"discrete-time":[26,114],"stochastic":[27,38,88,106,116,171],"systems.":[28,118],"The":[29],"proposed":[30,190,231],"framework":[31],"based":[33],"on":[34,223],"the":[35,52,56,65,77,81,85,120,131,166,174,186,189,230,255,266],"notion":[36],"simulation":[39,107],"functions":[40,108],"enabling":[41],"us":[42],"to":[43,141,196,233,261],"employ":[44,254],"an":[45,139,156],"abstract":[46],"system":[47],"as":[48,145,259],"substitution":[50],"original":[53],"one":[54],"in":[55,237,268],"controller":[57],"design":[58],"process":[59],"guaranteed":[61,220],"error":[62,221],"bounds.":[63],"In":[64,119],"first":[66],"part":[67,122],"this":[69,124],"article,":[70,125],"we":[71,126],"derive":[72],"sufficient":[73],"small-gain-type":[74,128],"conditions":[75,129],"quantification":[79],"probabilistic":[82],"distance":[83],"between":[84],"interconnection":[86],"control":[89,117,172],"subsystems":[90,204],"that":[92,164],"their":[94,104,152,213,224],"abstractions.":[96,136],"We":[97,137,161,184,208,227,253],"then":[98],"construct":[99,142,209,242],"together":[102],"corresponding":[105],"particular":[111,167],"class":[112,168],"nonlinear":[115,170,203],"second":[121],"leverage":[127],"construction":[133],"propose":[138],"MDPs":[144,211],"concrete":[149],"models":[150],"or":[151],"reduced-order":[153,214],"versions":[154,215],"satisfying":[155],"incremental":[157],"input-to-state":[158],"stability":[159],"property.":[160],"also":[162,228],"show":[163],"systems,":[173],"aforementioned":[175],"property":[176],"can":[177],"be":[178],"readily":[179],"checked":[180],"by":[181,192],"matrix":[182],"inequalities.":[183],"demonstrate":[185],"effectiveness":[187],"results":[191,232],"applying":[193],"our":[194],"approaches":[195],"fully":[198],"network":[200,249],"20":[202,217],"(totally":[205],"100":[206],"dimensions).":[207],"from":[212],"(together":[216],"dimensions)":[218],"bounds":[222],"output":[225],"trajectories.":[226],"apply":[229],"temperature":[235,267],"regulation":[236],"circular":[239],"building":[240],"compositionally":[243,262],"abstraction":[246],"containing":[250],"1000":[251],"rooms.":[252],"constructed":[256],"substitutes":[260],"synthesize":[263],"policies":[264],"regulating":[265],"each":[269],"room":[270],"bounded":[273],"time":[274],"horizon.":[275]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}