{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:15:15Z","timestamp":1776834915866,"version":"3.51.2"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.23919\/ecc.2019.8796276","type":"proceedings-article","created":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T23:20:02Z","timestamp":1565911202000},"page":"536-541","source":"Crossref","is-referenced-by-count":11,"title":["A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems"],"prefix":"10.23919","author":[{"given":"Alina","family":"Eqtami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"3283","article-title":"Practical set invariance for decentralized discrete-time systems","author":"rakovi?","year":"0","journal-title":"IEEE Conference on Decision and Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314654"},{"key":"ref12","first-page":"5656","article-title":"Synthesis of seperable controlled invariant sets for modular local control design","author":"nilsson","year":"0","journal-title":"American Control Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2361595"},{"key":"ref14","first-page":"317","article-title":"Safety control with performance guarantees of cooperative systems using compositional abstractions","author":"meyer","year":"0","journal-title":"Proceedings of the 5th IFAC Conference on Analysis and Design of Hyrbid Systems"},{"key":"ref15","first-page":"119","article-title":"Distributed synthesis of state-dependent switching control","author":"co\u00ebnt","year":"0","journal-title":"International Workshop on Reachability Problems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2018.8550622"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619099"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049805"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403184"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2672859"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.032"},{"key":"ref8","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"0","journal-title":"International Conference on Hybrid Systems Computation and Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4606-6","author":"blanchini","year":"2008","journal-title":"Set-Theoretic Methods in Control"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"}],"event":{"name":"2019 18th European Control Conference (ECC)","location":"Naples, Italy","start":{"date-parts":[[2019,6,25]]},"end":{"date-parts":[[2019,6,28]]}},"container-title":["2019 18th European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8778424\/8795605\/08796276.pdf?arnumber=8796276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T01:35:20Z","timestamp":1567474520000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8796276\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/ecc.2019.8796276","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}