{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:15:13Z","timestamp":1776834913642,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":26,"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"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1446145 , ECCS-1405413"],"award-info":[{"award-number":["CNS-1446145 , ECCS-1405413"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DFG","award":["ZA 873\/1-1"],"award-info":[{"award-number":["ZA 873\/1-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,11]]},"DOI":"10.1145\/3178126.3178144","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"137-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Constructing Control System Abstractions from Modular Components"],"prefix":"10.1145","author":[{"given":"Eric S.","family":"Kim","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA"}]},{"given":"Murat","family":"Arcak","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Technical University of Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"M. Arcak C. Meissen and A. Packard. 2016. Networks of dissipative systems. Springer International Publishing.   M. Arcak C. Meissen and A. Packard. 2016. Networks of dissipative systems. Springer International Publishing.","DOI":"10.1007\/978-3-319-29928-0"},{"key":"e_1_3_2_1_2_1","unstructured":"C. Baier and J. P. Katoen. 2008. Principles of model checking. The MIT Press.   C. Baier and J. P. Katoen. 2008. Principles of model checking. The MIT Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of 54th IEEE Conference on Decision and Control. 282--287","author":"Boskos D.","unstructured":"D. Boskos and D. V. Dimarogonas . 2015. Decentralized abstractions for feedback interconnected multi-agent systems . In Proceedings of 54th IEEE Conference on Decision and Control. 282--287 . D. Boskos and D. V. Dimarogonas. 2015. Decentralized abstractions for feedback interconnected multi-agent systems. In Proceedings of 54th IEEE Conference on Decision and Control. 282--287."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"e_1_3_2_1_8_1","volume-title":"Sparsity-Aware Finite Abstraction. In 2017 IEEE 56th Conference on Decision and Control (CDC).","author":"Gruber F.","unstructured":"F. Gruber , E. Kim , and M. Arcak . 2017 . Sparsity-Aware Finite Abstraction. In 2017 IEEE 56th Conference on Decision and Control (CDC). F. Gruber, E. Kim, and M. Arcak. 2017. Sparsity-Aware Finite Abstraction. In 2017 IEEE 56th Conference on Decision and Control (CDC)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"e_1_3_2_1_10_1","first-page":"2","article-title":"Abstracting partially feedback linearizable systems compositionally","volume":"1","author":"Hussein O.","year":"2017","unstructured":"O. Hussein , A. Ames , and P. Tabuada . 2017 . Abstracting partially feedback linearizable systems compositionally . IEEE Control Systems Letters 1 , 2 (October 2017), 227--232. O. Hussein, A. Ames, and P. Tabuada. 2017. Abstracting partially feedback linearizable systems compositionally. IEEE Control Systems Letters 1, 2 (October 2017), 227--232.","journal-title":"IEEE Control Systems Letters"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562137"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"P.J. Meyer A. Girard and E. Witrant. 2017 accepted. Compositional abstraction and safety synthesis using overlapping symbolic models. IEEE Trans. Automat. Control (2017 accepted).  P.J. Meyer A. Girard and E. Witrant. 2017 accepted. Compositional abstraction and safety synthesis using overlapping symbolic models. IEEE Trans. Automat. Control (2017 accepted).","DOI":"10.1109\/TAC.2017.2753039"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461343"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2528046"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"e_1_3_2_1_18_1","unstructured":"R. T. Rockafellar and R. Wets. 2009. Variational analysis. Vol. 317. Springer.  R. T. Rockafellar and R. Wets. 2009. Variational analysis. Vol. 317. Springer."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"e_1_3_2_1_20_1","volume-title":"CUDD: CU Decision Diagram Package","author":"Somenzi F.","year":"2015","unstructured":"F. Somenzi . 2015 . CUDD: CU Decision Diagram Package . http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/. (2015). Version 3.0.0. F. Somenzi. 2015. CUDD: CU Decision Diagram Package. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/. (2015). Version 3.0.0."},{"key":"e_1_3_2_1_21_1","volume-title":"Verification and Control of Hybrid Systems","author":"Tabuada P.","unstructured":"P. Tabuada . 2009. Verification and Control of Hybrid Systems . New York, NY ,USA: Springer . P. Tabuada. 2009. Verification and Control of Hybrid Systems. New York, NY,USA: Springer."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_25"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_37"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.004"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","location":"Porto Portugal","acronym":"HSCC '18","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"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.3178144","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178144","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178144","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.3178144"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":26,"alternative-id":["10.1145\/3178126.3178144","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3178144","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"}}]}}