{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T19:57:56Z","timestamp":1785441476932,"version":"3.56.0"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1109\/tac.2026.3676316","type":"journal-article","created":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T20:02:05Z","timestamp":1774036925000},"page":"5318-5333","source":"Crossref","is-referenced-by-count":0,"title":["Data-Driven Control of Large-Scale Networks With Formal Guarantees: A Small-Gain-Free Approach"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-2026-2941","authenticated-orcid":false,"given":"Behrad","family":"Samari","sequence":"first","affiliation":[{"name":"Newcastle University","place":["Newcastle upon Tyne, U.K."]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9065-1282","authenticated-orcid":false,"given":"Amy","family":"Nejati","sequence":"additional","affiliation":[{"name":"Newcastle University","place":["Newcastle upon Tyne, U.K."]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4993-3170","authenticated-orcid":false,"given":"Abolfazl","family":"Lavaei","sequence":"additional","affiliation":[{"name":"Newcastle University","place":["Newcastle upon Tyne, U.K."]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.800646"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854584"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525022"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382219"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.06.021"},{"key":"ref8","article-title":"Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques","author":"Lavaei","year":"2019"},{"key":"ref9","article-title":"Formal verification and control of stochastic hybrid systems: Model-based and data-driven techniques","author":"Nejati","year":"2023"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.07.014"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3148374"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ymssp.2005.04.008"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042347"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2200376"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2374711"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.07.025"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00498-007-0014-8"},{"key":"ref18","first-page":"1","article-title":"Stability properties of interconnected vehicles","volume-title":"Proc. 15th Int. Symp. Math. Theory Netw. Syst.","author":"Tanner","year":"2002"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/19M1291248"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2753039"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3159190"},{"key":"ref22","volume-title":"Networks of Dissipative Systems, Ser. Springer Briefs in Electrical and Computer Engineering","author":"Arcak","year":"2016"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00276493"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1515\/9781400841042"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110646"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.473"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683316"},{"key":"ref28","article-title":"Data-driven abstractions for verification of deterministic systems","author":"Coppola","year":"2022"},{"key":"ref29","article-title":"Data-driven abstractions for control systems","author":"Coppola","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3582534"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2024.101467"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3331385"},{"key":"ref33","article-title":"Data-driven construction of finite abstractions for interconnected systems: A compositional approach","author":"Ajeleye","year":"2024"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10384152"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2528046"},{"key":"ref36","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798314"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BF00229304"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2008.919306"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2004.09.003"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2959924"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2023.100911"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3346793"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3186100"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10384156"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(00)00286-8"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2713772"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/11627881\/11449071.pdf?arnumber=11449071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T19:01:29Z","timestamp":1785438089000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11449071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":51,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tac.2026.3676316","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":[[2026,8]]}}}