{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:15Z","timestamp":1750306035175,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T00:00:00Z","timestamp":1523404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,11]]},"DOI":"10.1145\/3178126.3187000","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"275-276","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Compositional Synthesis of Finite Abstractions for Networks of Systems"],"prefix":"10.1145","author":[{"given":"Abdalla","family":"Swikir","sequence":"first","affiliation":[{"name":"Hybrid Control Systems Group, Technical University of Munich"}]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[{"name":"Laboratoire des Signaux et Syst\u00e9mes, CNRS"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"Hybrid Control Systems Group, Technical University of Munich"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1717907"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"O. Maler A. Pnueli and J. Sifakis \"On the synthesis of discrete controllers for timed systems \" in Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science 1995 pp. 229--242.  O. Maler A. Pnueli and J. Sifakis \"On the synthesis of discrete controllers for timed systems \" in Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science 1995 pp. 229--242.","DOI":"10.1007\/3-540-59042-0_76"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_37"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2528046"},{"key":"e_1_3_2_1_5_1","first-page":"08515","article-title":"Compositional synthesis of finite state abstractions","volume":"1612","author":"Mallik K.","year":"2016","journal-title":"CoRR"},{"issue":"1","key":"e_1_3_2_1_6_1","first-page":"3","article-title":"Some new bounds on the spectral radius of graphs","volume":"281","author":"Das K. C.","year":"2004","journal-title":"Discrete Mathematics"},{"key":"e_1_3_2_1_7_1","article-title":"Compositional abstraction for networks of control systems: A dissipativity approach","author":"Zamani M.","year":"2017","journal-title":"IEEE Transactions on Control of Network Systems"},{"volume-title":"SpringerBriefs in Electrical and Computer Engineering. Springer International Publishing","year":"2016","author":"Arcak M.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"A. Swikir A. Girard and M. Zamani \"From dissipativity theory to compositional synthesis of symbolic models \" in Proceedings of the 4th Indian Control Conference (arXiv: 1710.05585) 2018.  A. Swikir A. Girard and M. Zamani \"From dissipativity theory to compositional synthesis of symbolic models \" in Proceedings of the 4th Indian Control Conference (arXiv: 1710.05585) 2018.","DOI":"10.1109\/INDIANCC.2018.8307949"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Porto Portugal","acronym":"HSCC '18"},"container-title":["Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3187000","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3187000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:56Z","timestamp":1750215776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3187000"}},"subtitle":["A Dissipativity Approach"],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":10,"alternative-id":["10.1145\/3178126.3187000","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3187000","relation":{},"subject":[],"published":{"date-parts":[[2018,4,11]]},"assertion":[{"value":"2018-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}