{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:50:46Z","timestamp":1729648246567,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798250","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"81-86","source":"Crossref","is-referenced-by-count":4,"title":["Abstractions of varying decentralization degree for coupled multi-agent systems"],"prefix":"10.1109","author":[{"given":"Dimitris","family":"Boskos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1046","volume":"57","author":"girard","year":"2012","journal-title":"Synthesis for constrained nonlinear systems using hybridization and robust controllers on simplices IEEE Transactions on Automatic Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref12","first-page":"3122","article-title":"Approximately bisimilar symbolic models for incrementally stable switched systems","volume":"59","author":"gol","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/b83677"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402117"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1515\/9781400835355"},{"journal-title":"Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings","year":"2015","author":"meyer","key":"ref18"},{"key":"ref19","first-page":"317","article-title":"Safety control with performance guarantees of cooperative systems using compositional abstractions","author":"meyer","year":"2015","journal-title":"Proc IFAC Conf Analysis and Design of Hybrid Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402214"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798250"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/120903993"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403285"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2163434"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(94)00090-I"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2309281"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403184"},{"key":"ref1","first-page":"1601","volume":"7","author":"abate","year":"2009","journal-title":"The concept of box invariance for biologically-inspired dynamical systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref22","first-page":"1787","article-title":"Benedetto. Symbolic models for networks of discrete-time nonlinear control systems","author":"pola","year":"2014","journal-title":"Proceedings of the American Control Conference"},{"key":"ref21","article-title":"Benedetto. Symbolic models for networks of control systems","author":"pola","year":"2011","journal-title":"IEEE Transactions on Automatic Control page TAC 2016 2528046"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/2728606.2728615","article-title":"Compositional construction of approximate abstractions","author":"rungger","year":"2015","journal-title":"Proceedings of the 18th InternationalConference on Hybrid Systems Computation and Control"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_37"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798250.pdf?arnumber=7798250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T19:39:58Z","timestamp":1658345998000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798250\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798250","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}