{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T14:07:14Z","timestamp":1774966034765,"version":"3.50.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"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. Control Netw. Syst."],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1109\/tcns.2021.3050123","type":"journal-article","created":{"date-parts":[[2021,1,9]],"date-time":"2021-01-09T22:33:45Z","timestamp":1610231625000},"page":"702-712","source":"Crossref","is-referenced-by-count":14,"title":["Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4423-3052","authenticated-orcid":false,"given":"Adnane","family":"Saoud","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5452-8850","authenticated-orcid":false,"given":"Pushpak","family":"Jagtap","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6608-3708","authenticated-orcid":false,"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4075-9041","authenticated-orcid":false,"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0191-2615(94)90002-7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.04.001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.12.002"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049805"},{"key":"ref11","article-title":"Compositional and efficient controller synthesis for cyber-physical systems","author":"saoud","year":"2019"},{"key":"ref12","author":"frehse","year":"2005","journal-title":"Compositional Verification of Hybrid Systems Using Simulation Relations"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.08.002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000018571.14789.24"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2713461"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361210"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263997"},{"key":"ref18","first-page":"119","article-title":"Distributed synthesis of state-dependent switching control","author":"co\u00ebnt","year":"0","journal-title":"Proc Int Workshop Reachability Problems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2017.10.006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2833630"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref3","author":"cassandras","year":"2009","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2528046"},{"key":"ref29","article-title":"Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach","author":"saoud","year":"2020"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_37"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2017.2670330"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2869740"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403184"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799145"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2775962"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382212"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-016-0233-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2008.09.001"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.003"}],"container-title":["IEEE Transactions on Control of Network Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6509490\/9523440\/09318024.pdf?arnumber=9318024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:54:01Z","timestamp":1652194441000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9318024\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":34,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcns.2021.3050123","relation":{},"ISSN":["2325-5870","2372-2533"],"issn-type":[{"value":"2325-5870","type":"electronic"},{"value":"2372-2533","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6]]}}}