{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T07:07:30Z","timestamp":1770534450892,"version":"3.49.0"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2011,10,1]],"date-time":"2011-10-01T00:00:00Z","timestamp":1317427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/tac.2011.2163873","type":"journal-article","created":{"date-parts":[[2011,8,15]],"date-time":"2011-08-15T20:49:35Z","timestamp":1313441375000},"page":"2345-2357","source":"Crossref","is-referenced-by-count":93,"title":["Compositional Modeling and Analysis of Multi-Hop Control Networks"],"prefix":"10.1109","volume":"56","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"D'Innocenzo","sequence":"additional","affiliation":[]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref38","first-page":"241","article-title":"NuSMV version 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proc CAV"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450080"},{"key":"ref32","author":"hopcroft","year":"1979","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref31","first-page":"19","article-title":"The abstract task graph: A methodology for architecture-independent programming of networked sensor systems","author":"bakshi","year":"2005","journal-title":"Proc EESR"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/IPPS.1998.669967"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2009.5234106"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44977-9_21"},{"key":"ref35","year":"2007","journal-title":"Network Management Specification"},{"key":"ref34","year":"2007","journal-title":"TDMA Data-Link Layer Specification"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2002.1014671"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"key":"ref11","author":"astrm","year":"1997","journal-title":"Computer-Controlled Systems Theory and Design"},{"key":"ref12","first-page":"150","article-title":"Stability analysis of networked control systems using a switched linear systems approach","author":"donkers","year":"2009","journal-title":"Proc HSCC"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1145","DOI":"10.1016\/j.automatica.2006.12.027","article-title":"Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design","volume":"43","author":"dacic","year":"2007","journal-title":"Automatica"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582201"},{"key":"ref15","author":"van der schaft","year":"1999","journal-title":"An Introduction to Hybrid Dynamical Systems"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_46"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.13"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1007\/b138575","author":"costa","year":"2005","journal-title":"Discrete-Time Markov Jump Linear Systems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1995.478584"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2004.04.003"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00095-5"},{"key":"ref3","first-page":"2130","article-title":"Towards robust control over a packet dropping network","author":"shi","year":"2006","journal-title":"Proc SMTNS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1460412.1460462"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5008918"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.15"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/87.998034"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.40"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.376765"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/37.898794"},{"key":"ref1","first-page":"1182","article-title":"Robust stability and disturbance attenuation analysis of a class of networked control systems","author":"lin","year":"2003","journal-title":"Proc CDC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428966"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/9.739115"},{"key":"ref21","author":"fang","year":"1994","journal-title":"Stability analysis of linear control systems with uncertain parameters"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.923691"},{"key":"ref41","author":"pnueli","year":"1991","journal-title":"The Temporal Logic of Reactive and Concurrent Systems Specification"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844177"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400444"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887306"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/6032784\/05978186.pdf?arnumber=5978186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:49:30Z","timestamp":1633909770000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5978186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":41,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tac.2011.2163873","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10]]}}}