{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T07:37:22Z","timestamp":1789889842291,"version":"4.0.1"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.23919\/acc.2019.8814437","type":"proceedings-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T23:42:46Z","timestamp":1574725366000},"page":"1027-1034","source":"Crossref","is-referenced-by-count":14,"title":["Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts"],"prefix":"10.23919","author":[{"given":"Yuxiao","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karan","family":"Kalsi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steven H.","family":"Low","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aaron D.","family":"Ames","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039482"},{"issue":"99","key":"ref2","first-page":"1","article-title":"Validating noncooperative control designs through a lyapunov approach","author":"Chen","year":"2018","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2654063"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1134\/S0005117911110026"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470374"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.823000"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2713461"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799145"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883831"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.03.010"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/lics.1996.561320"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_14"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1978.1101704"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_12"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883843"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049805"},{"key":"ref20","volume-title":"Contracts for system design","author":"Benveniste","year":"2012"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2017.2720471"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298140"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISRCS.2009.5251361"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2713529"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/59.207380"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619312"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040372"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"}],"event":{"name":"2019 American Control Conference (ACC)","location":"Philadelphia, PA, USA","start":{"date-parts":[[2019,7,10]]},"end":{"date-parts":[[2019,7,12]]}},"container-title":["2019 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8789884\/8814292\/08814437.pdf?arnumber=8814437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:30:13Z","timestamp":1706056213000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8814437\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/acc.2019.8814437","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}