{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T23:17:49Z","timestamp":1774999069744,"version":"3.50.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"H2020 ERC Starting","award":["804639"],"award-info":[{"award-number":["804639"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1109\/tac.2020.2975812","type":"journal-article","created":{"date-parts":[[2020,2,25]],"date-time":"2020-02-25T03:56:16Z","timestamp":1582602976000},"page":"5280-5295","source":"Crossref","is-referenced-by-count":25,"title":["Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems"],"prefix":"10.1109","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4993-3170","authenticated-orcid":false,"given":"Abolfazl","family":"Lavaei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6608-3708","authenticated-orcid":false,"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0015027"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.42"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185673"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0167-z"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_13"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2013.10.001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.04.003"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.004"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2019791"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2619419"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461373"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160617"},{"key":"ref17","first-page":"1","article-title":"Dynamic Bayesian networks as formal abstractions of structured stochastic processes,","volume-title":"Proc. 26th Int. Conf. Concurrency Theory","author":"Soudjani","year":"2015"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.045"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264180"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.05.043"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/16M1079397"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178135"},{"key":"ref23","volume-title":"Stochastic Optimal Control: The Discrete-Time Case","author":"Bertsekas","year":"1996"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00498-007-0014-8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1137\/090746483"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s11117-009-0016-5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/9.935073"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.09.016"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2879951"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0163-9"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2753039"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_23"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1912.0076"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/INDIANCC.2018.8307949"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9277906\/09007399.pdf?arnumber=9007399","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:17:22Z","timestamp":1706055442000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9007399\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":34,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2020.2975812","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12]]}}}