{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T17:48:01Z","timestamp":1780076881319,"version":"3.54.0"},"reference-count":93,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100013209","name":"Hellenic Foundation for Research and Innovation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100013209","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000104","name":"nasa","doi-asserted-by":"crossref","award":["NNX16AK47A"],"award-info":[{"award-number":["NNX16AK47A"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003448","name":"General Secretariat for Research and Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003448","id-type":"DOI","asserted-by":"crossref"}]},{"name":"serc under usdod","award":["HQ0034-13-D-0004"],"award-info":[{"award-number":["HQ0034-13-D-0004"]}]},{"name":"nsf","award":["1739333"],"award-info":[{"award-number":["1739333"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2021,7,31]]},"abstract":"<jats:p>Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in cyber-physical systems. However, to date the different model views of cyber-physical systems are largely related informally, which raises issues with the degree of formal consistency between those various models of requirements, system behavior, and system architecture. We present a category-theoretic framework to make different types of composition explicit in the modeling and analysis of cyber-physical systems, which could assist in verifying the system as a whole. This compositional framework for cyber-physical systems gives rise to unified system models, where system behavior is hierarchically decomposed and related to a system architecture using the systems-as-algebras paradigm. As part of this paradigm, we show that an algebra of (safety) contracts generalizes over the state of the art, providing more uniform mathematical tools for constraining the behavior over a richer set of composite cyber-physical system models, which has the potential of minimizing or eliminating hazardous behavior.<\/jats:p>","DOI":"10.1145\/3461669","type":"journal-article","created":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T00:17:18Z","timestamp":1626049038000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Categorical Semantics of Cyber-Physical Systems Theory"],"prefix":"10.1145","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4992-0193","authenticated-orcid":false,"given":"Georgios","family":"Bakirtzis","sequence":"first","affiliation":[{"name":"University of Virginia, Virginia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6335-471X","authenticated-orcid":false,"given":"Cody H.","family":"Fleming","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, Iowa, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christina","family":"Vasilakopoulou","sequence":"additional","affiliation":[{"name":"University of Patras, Patras, Greece, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"#cr-split#-e_1_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"S. Abramsky and B. Coecke. 2009. Categorical quantum mechanics. In Handbook of Quantum Logic and Quantum Structures. Elsevier. DOI:https:\/\/doi.org\/10.1016\/B978-0-444-52869-8.50010-4 10.1016\/B978-0-444-52869-8.50010-4","DOI":"10.1016\/B978-0-444-52869-8.50010-4"},{"key":"#cr-split#-e_1_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"S. Abramsky and B. Coecke. 2009. Categorical quantum mechanics. In Handbook of Quantum Logic and Quantum Structures. Elsevier. DOI:https:\/\/doi.org\/10.1016\/B978-0-444-52869-8.50010-4","DOI":"10.1016\/B978-0-444-52869-8.50010-4"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2019.05.007"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.10.004"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90090-0"},{"key":"e_1_2_1_7_1","unstructured":"P. Asare G. Bakirtzis R. Bernard D. Broman E. Lee G. Prinsloo M. Torngren and S. Sunder. 2020. Cyber-Physical Systems\u2014A Concept Map. Retrieved from https:\/\/cyberphysicalsystems.org.  P. Asare G. Bakirtzis R. Bernard D. Broman E. Lee G. Prinsloo M. Torngren and S. Sunder. 2020. Cyber-Physical Systems\u2014A Concept Map. Retrieved from https:\/\/cyberphysicalsystems.org."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102258"},{"key":"e_1_2_1_9_1","volume-title":"Yoneda Hacking: The Algebra of Attacker Actions.","author":"Bakirtzis G.","year":"2021","unstructured":"G. Bakirtzis , F. Genovese , and C. H. Fleming . 2021 . Yoneda Hacking: The Algebra of Attacker Actions. (2021). arXiv:2103.00044 [cs.CR]. G. Bakirtzis, F. Genovese, and C. H. Fleming. 2021. Yoneda Hacking: The Algebra of Attacker Actions. (2021). arXiv:2103.00044 [cs.CR]."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 2020 Applied Category Theory Conference (ACT\u201920), Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. DOI:https:\/\/doi.org\/10","author":"Bakirtzis G.","unstructured":"G. Bakirtzis , C. Vasilakopoulou , and C. H. Fleming . 2020. Compositional cyber-physical systems modeling . In Proceedings of the 2020 Applied Category Theory Conference (ACT\u201920), Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. DOI:https:\/\/doi.org\/10 .4204\/EPTCS.333.9 10.4204\/EPTCS.333.9 G. Bakirtzis, C. Vasilakopoulou, and C. H. Fleming. 2020. Compositional cyber-physical systems modeling. In Proceedings of the 2020 Applied Category Theory Conference (ACT\u201920), Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. DOI:https:\/\/doi.org\/10.4204\/EPTCS.333.9"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.12.003"},{"key":"e_1_2_1_12_1","unstructured":"A. Benveniste B. Caillaud D. Nickovic R. Passerone J.-B. Raclet P. Reinkemeier A. L. Sangiovanni-Vincentelli W. Damm T. A. Henzinger and K. G. Larsen. 2012. Contracts for system design. Research Report RR-8147 INRIA (2012).  A. Benveniste B. Caillaud D. Nickovic R. Passerone J.-B. Raclet P. Reinkemeier A. L. Sangiovanni-Vincentelli W. Damm T. A. Henzinger and K. G. Larsen. 2012. Contracts for system design. Research Report RR-8147 INRIA (2012)."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 1995 International Conference on Algebraic Methodology and Software Technology (AMAST\u201995)","author":"Bidoit M.","unstructured":"M. Bidoit and R. Hennicker . 1995. Proving the correctness of behavioural implementations . In Proceedings of the 1995 International Conference on Algebraic Methodology and Software Technology (AMAST\u201995) . Springer. DOI:https:\/\/doi.org\/10.1007\/3-540-60043-4_51 10.1007\/3-540-60043-4_51 M. Bidoit and R. Hennicker. 1995. Proving the correctness of behavioural implementations. In Proceedings of the 1995 International Conference on Algebraic Methodology and Software Technology (AMAST\u201995). Springer. DOI:https:\/\/doi.org\/10.1007\/3-540-60043-4_51"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0642-5"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012859"},{"key":"#cr-split#-e_1_2_1_17_1.1","doi-asserted-by":"crossref","unstructured":"S. Breiner P. Denno and E. Subrahmanian. 2020. Categories for planning and scheduling. Not. Am. Math. Soc. (2020). DOI:https:\/\/doi.org\/10.1090\/noti2186 10.1090\/noti2186","DOI":"10.1090\/noti2186"},{"key":"#cr-split#-e_1_2_1_17_1.2","doi-asserted-by":"crossref","unstructured":"S. Breiner P. Denno and E. Subrahmanian. 2020. Categories for planning and scheduling. Not. Am. Math. Soc. (2020). DOI:https:\/\/doi.org\/10.1090\/noti2186","DOI":"10.1090\/noti2186"},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 2nd Applied Category Theory Conference (ACT\u201919)","author":"Breiner S.","unstructured":"S. Breiner , O. Marie-Rose , B. S. Pollard , and E. Subrahmanian . 2020. Operadic diagnosis in hierarchical systems . In Proceedings of the 2nd Applied Category Theory Conference (ACT\u201919) . DOI:https:\/\/doi.org\/10.4204\/EPTCS.323.5 10.4204\/EPTCS.323.5 S. Breiner, O. Marie-Rose, B. S. Pollard, and E. Subrahmanian. 2020. Operadic diagnosis in hierarchical systems. In Proceedings of the 2nd Applied Category Theory Conference (ACT\u201919). DOI:https:\/\/doi.org\/10.4204\/EPTCS.323.5"},{"key":"#cr-split#-e_1_2_1_19_1.1","doi-asserted-by":"crossref","unstructured":"S. Breiner R. D. Sriram and E. Subrahmanian. 2019. Compositional models for complex systems. In Artificial Intelligence for the Internet of Everything. Elsevier 241-270. DOI:https:\/\/doi.org\/10.1016\/B978-0-12-817636-8.00013-2 10.1016\/B978-0-12-817636-8.00013-2","DOI":"10.1016\/B978-0-12-817636-8.00013-2"},{"key":"#cr-split#-e_1_2_1_19_1.2","doi-asserted-by":"crossref","unstructured":"S. Breiner R. D. Sriram and E. Subrahmanian. 2019. Compositional models for complex systems. In Artificial Intelligence for the Internet of Everything. Elsevier 241-270. DOI:https:\/\/doi.org\/10.1016\/B978-0-12-817636-8.00013-2","DOI":"10.1016\/B978-0-12-817636-8.00013-2"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201920)","author":"Bresolin D.","unstructured":"D. Bresolin , P. Collins , L. Geretti , R. Segala , T. Villa , and S. Z. Gonzalez . 2020. A computable and compositional semantics for hybrid automata . In Proceedings of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201920) . ACM. DOI:https:\/\/doi.org\/10.1145\/3365365.3382202 10.1145\/3365365.3382202 D. Bresolin, P. Collins, L. Geretti, R. Segala, T. Villa, and S. Z. Gonzalez. 2020. A computable and compositional semantics for hybrid automata. In Proceedings of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201920). ACM. DOI:https:\/\/doi.org\/10.1145\/3365365.3382202"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/151299.151302"},{"key":"e_1_2_1_22_1","volume-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems. In Readings in Hardware\/software Co-design. ACM.","author":"Buck J.","year":"2001","unstructured":"J. Buck , S. Ha , E. A. Lee , and D. G. Messerschmitt . 2001 . Ptolemy: A framework for simulating and prototyping heterogeneous systems. In Readings in Hardware\/software Co-design. ACM. J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. 2001. Ptolemy: A framework for simulating and prototyping heterogeneous systems. In Readings in Hardware\/software Co-design. ACM."},{"key":"#cr-split#-e_1_2_1_23_1.1","doi-asserted-by":"crossref","unstructured":"B. Coecke. 2010. Quantum picturalism. Contemp. Phys. (2010). DOI:https:\/\/doi.org\/10.1080\/00107510903257624 10.1080\/00107510903257624","DOI":"10.1080\/00107510903257624"},{"key":"#cr-split#-e_1_2_1_23_1.2","doi-asserted-by":"crossref","unstructured":"B. Coecke. 2010. Quantum picturalism. Contemp. Phys. (2010). DOI:https:\/\/doi.org\/10.1080\/00107510903257624","DOI":"10.1080\/00107510903257624"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_13"},{"key":"#cr-split#-e_1_2_1_25_1.1","doi-asserted-by":"crossref","unstructured":"F. Cremona M. Lohstroh D. Broman E. A. Lee M. Masin and S. Tripakis. 2019. Hybrid co-simulation: It's about time. Softw. Syst. Model. (2019). DOI:https:\/\/doi.org\/10.1007\/s10270-017-0633-6 10.1007\/s10270-017-0633-6","DOI":"10.1007\/s10270-017-0633-6"},{"key":"#cr-split#-e_1_2_1_25_1.2","doi-asserted-by":"crossref","unstructured":"F. Cremona M. Lohstroh D. Broman E. A. Lee M. Masin and S. Tripakis. 2019. Hybrid co-simulation: It's about time. Softw. Syst. Model. (2019). DOI:https:\/\/doi.org\/10.1007\/s10270-017-0633-6","DOI":"10.1145\/3239372.3242896"},{"key":"e_1_2_1_26_1","first-page":"1634","article-title":"Formal composition of hybrid systems","volume":"35","author":"Culbertson J.","year":"2020","unstructured":"J. Culbertson , P. Gustafson , D. E. Koditschek , and P. F. Stiller . 2020 . Formal composition of hybrid systems . Theory and Applications of Categories 35 , 45 (2020), 1634 \u2013 1682 . http:\/\/www.tac.mta.ca\/tac\/volumes\/35\/45\/35-45.pdf. J. Culbertson, P. Gustafson, D. E. Koditschek, and P. F. Stiller. 2020. Formal composition of hybrid systems. Theory and Applications of Categories 35, 45 (2020), 1634\u20131682. http:\/\/www.tac.mta.ca\/tac\/volumes\/35\/45\/35-45.pdf.","journal-title":"Theory and Applications of Categories"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 11th European Conference on Modelling Foundations and Applications (ECMFA@STAF\u201915)","author":"Diskin Z.","unstructured":"Z. Diskin , T. Maibaum , and K. Czarnecki . 2015. A model management imperative: Being graphical is not sufficient, you have to be categorical . In Proceedings of the 11th European Conference on Modelling Foundations and Applications (ECMFA@STAF\u201915) . DOI:https:\/\/doi.org\/10.1007\/978-3-319-21151-0_11 10.1007\/978-3-319-21151-0_11 Z. Diskin, T. Maibaum, and K. Czarnecki. 2015. A model management imperative: Being graphical is not sufficient, you have to be categorical. In Proceedings of the 11th European Conference on Modelling Foundations and Applications (ECMFA@STAF\u201915). DOI:https:\/\/doi.org\/10.1007\/978-3-319-21151-0_11"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0481-1"},{"key":"#cr-split#-e_1_2_1_31_1.1","unstructured":"F. Dur\u00e1n R. Heinrich D. P\u00e9rez-Palac\u00edn C. L. Talcott and S. Zschaler. 2020. Composing model-based analysis tools (Dagstuhl Seminar 19481). Dagst. Rep. (2020). DOI:https:\/\/doi.org\/10.4230\/DagRep.9.11.97 10.4230\/DagRep.9.11.97"},{"key":"#cr-split#-e_1_2_1_31_1.2","doi-asserted-by":"crossref","unstructured":"F. Dur\u00e1n R. Heinrich D. P\u00e9rez-Palac\u00edn C. L. Talcott and S. Zschaler. 2020. Composing model-based analysis tools (Dagstuhl Seminar 19481). Dagst. Rep. (2020). DOI:https:\/\/doi.org\/10.4230\/DagRep.9.11.97","DOI":"10.1007\/978-3-030-81915-6"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 44th Annual Design Automation Conference (DAC\u201907)","author":"Edwards S. A.","unstructured":"S. A. Edwards and E. A. Lee . 2007. The case for the precision timed (PRET) machine . In Proceedings of the 44th Annual Design Automation Conference (DAC\u201907) . S. A. Edwards and E. A. Lee. 2007. The case for the precision timed (PRET) machine. In Proceedings of the 44th Annual Design Automation Conference (DAC\u201907)."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369508"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201920)","author":"Ghasemi K.","unstructured":"K. Ghasemi , S. Sadraddini , and C. Belta . 2020. Compositional synthesis via a convex parameterization of assume-guarantee contracts . In Proceedings of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201920) . ACM. DOI:https:\/\/doi.org\/10.1145\/3365365.3382212 10.1145\/3365365.3382212 K. Ghasemi, S. Sadraddini, and C. Belta. 2020. Compositional synthesis via a convex parameterization of assume-guarantee contracts. In Proceedings of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201920). ACM. DOI:https:\/\/doi.org\/10.1145\/3365365.3382212"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM@STAF\u201918)","author":"Golra F. R.","unstructured":"F. R. Golra , F. Dagnat , J. Souqui\u00e8res , I. Sayar , and S. Guerin . 2018. Bridging the gap between informal requirements and formal specifications using model federation . In Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM@STAF\u201918) . Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-319-92970-5_4 10.1007\/978-3-319-92970-5_4 F. R. Golra, F. Dagnat, J. Souqui\u00e8res, I. Sayar, and S. Guerin. 2018. Bridging the gap between informal requirements and formal specifications using model federation. In Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM@STAF\u201918). Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-319-92970-5_4"},{"key":"e_1_2_1_38_1","unstructured":"J. Hansen and R. Ghrist. 2020. Opinion dynamics on discourse sheaves. arXiv:2005.12798 [math.DS] (2020).  J. Hansen and R. Ghrist. 2020. Opinion dynamics on discourse sheaves. arXiv:2005.12798 [math.DS] (2020)."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-017-0023-1"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80909-5"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1993.1055"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the 22nd International Conference on Computer Aided Verification (CAV\u201910)","author":"Davitian M. Mazo Jr., A.","unstructured":"M. Mazo Jr., A. Davitian , and P. Tabuada . 2010. PESSOA: A tool for embedded controller synthesis . In Proceedings of the 22nd International Conference on Computer Aided Verification (CAV\u201910) .Lecture Notes in Computer Science. Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-642-14295-6_49 10.1007\/978-3-642-14295-6_49 M. Mazo Jr., A. Davitian, and P. Tabuada. 2010. PESSOA: A tool for embedded controller synthesis. In Proceedings of the 22nd International Conference on Computer Aided Verification (CAV\u201910).Lecture Notes in Computer Science. Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-642-14295-6_49"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2019.8836804"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362336.2362342"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804199"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2885752"},{"key":"e_1_2_1_47_1","volume-title":"Position Paper for NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap.","author":"Lee E. A.","year":"2006","unstructured":"E. A. Lee . 2006 . Cyber-physical Systems\u2014Are Computing Foundations Adequate . Position Paper for NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap. E. A. Lee. 2006. Cyber-physical Systems\u2014Are Computing Foundations Adequate. Position Paper for NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap."},{"key":"e_1_2_1_48_1","article-title":"Fundamental limits of cyber-physical systems modeling","volume":"1","author":"Lee E. A.","year":"2016","unstructured":"E. A. Lee . 2016 . Fundamental limits of cyber-physical systems modeling . ACM Trans. Cyber-Phys. Syst. 1 , 1 (2016), 3:1\u20133:26. https:\/\/doi.org\/10.1145\/2912149 10.1145\/2912149 E. A. Lee. 2016. Fundamental limits of cyber-physical systems modeling. ACM Trans. Cyber-Phys. Syst. 1, 1 (2016), 3:1\u20133:26. https:\/\/doi.org\/10.1145\/2912149","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2766560"},{"key":"e_1_2_1_50_1","volume-title":"Basic Category Theory","author":"Leinster T.","unstructured":"T. Leinster . 2014. Basic Category Theory . Cambridge University Press . DOI:https:\/\/doi.org\/10.1017\/CBO9781107360068 10.1017\/CBO9781107360068 T. Leinster. 2014. Basic Category Theory. Cambridge University Press. DOI:https:\/\/doi.org\/10.1017\/CBO9781107360068"},{"key":"e_1_2_1_51_1","volume-title":"Engineering a Safer World: Systems Thinking Applied to Safety","author":"Leveson N. G.","unstructured":"N. G. Leveson . 2011. Engineering a Safer World: Systems Thinking Applied to Safety . MIT Press . N. G. Leveson. 2011. Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press."},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232939"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_22"},{"key":"e_1_2_1_54_1","volume-title":"Categories for the Working Mathematician","author":"Lane S. Mac","unstructured":"S. Mac Lane . 1998. Categories for the Working Mathematician . Springer . S. Mac Lane. 1998. Categories for the Working Mathematician. Springer."},{"key":"e_1_2_1_55_1","volume-title":"Proceedings of the 14th European Dependable Computing Conference (EDCC\u201918)","author":"Masetti G.","year":"2018","unstructured":"G. Masetti , S. Chiaradonna , F. Di Giandomenico , B. Feddersen , and W. H. Sanders . 2018. An efficient strategy for model composition in the M\u00f6bius modeling environment . In Proceedings of the 14th European Dependable Computing Conference (EDCC\u201918) . IEEE Computer Society. DOI:https:\/\/doi.org\/10.1109\/EDCC. 2018 .00029 10.1109\/EDCC.2018.00029 G. Masetti, S. Chiaradonna, F. Di Giandomenico, B. Feddersen, and W. H. Sanders. 2018. An efficient strategy for model composition in the M\u00f6bius modeling environment. In Proceedings of the 14th European Dependable Computing Conference (EDCC\u201918). IEEE Computer Society. DOI:https:\/\/doi.org\/10.1109\/EDCC.2018.00029"},{"key":"e_1_2_1_56_1","doi-asserted-by":"crossref","unstructured":"E.\n      Matsikoudis\n     and \n      E. A.\n      Lee\n  . \n  2012\n  . From transitions to executions. In Revised Selected Papers from the 11th International Workshop Coalgebraic Methods in Computer Science (CMCS\u201912) Colocated with ETAPS 2012 Lecture Notes in Computer Science\n  . \n  Springer\n  . DOI:https:\/\/doi.org\/10.1007\/978-3-642-32784-1_10    10.1007\/978-3-642-32784-1_10\nE. Matsikoudis and E. A. Lee. 2012. From transitions to executions. In Revised Selected Papers from the 11th International Workshop Coalgebraic Methods in Computer Science (CMCS\u201912) Colocated with ETAPS 2012 Lecture Notes in Computer Science. Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-642-32784-1_10","DOI":"10.1007\/978-3-642-32784-1_10"},{"key":"e_1_2_1_57_1","doi-asserted-by":"crossref","unstructured":"M. D. Mesarovic and Y. Takahara. 1989. Abstract Systems Theory. Springer.  M. D. Mesarovic and Y. Takahara. 1989. Abstract Systems Theory. Springer.","DOI":"10.1007\/BFb0042462"},{"key":"e_1_2_1_58_1","unstructured":"B. Messner D. Tilbury R. Hill and J. D. Taylor. 2020. Control Tutorials for Matlab and Simulink: Aircraft Pitch. Retrieved from https:\/\/web.archive.org\/web\/20200509164711http:\/\/ctms.engin.umich.edu\/CTMS\/index.php?example=AircraftPitch&section=SystemModeling.  B. Messner D. Tilbury R. Hill and J. D. Taylor. 2020. Control Tutorials for Matlab and Simulink: Aircraft Pitch. Retrieved from https:\/\/web.archive.org\/web\/20200509164711http:\/\/ctms.engin.umich.edu\/CTMS\/index.php?example=AircraftPitch&section=SystemModeling."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/3288063.3288082"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80036-9"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3170500"},{"key":"e_1_2_1_62_1","volume-title":"Proceedings of the 2nd Applied Category Theory Conference (ACT\u201919)","author":"Nolan J. S.","unstructured":"J. S. Nolan , B. S. Pollard , S. Breiner , D. Anand , and E. Subrahmanian . 2020. Compositional models for power systems . In Proceedings of the 2nd Applied Category Theory Conference (ACT\u201919) . Electronic Proceedings in Theoretical Computer Science. DOI:https:\/\/doi.org\/10.4204\/EPTCS.323.10 10.4204\/EPTCS.323.10 J. S. Nolan, B. S. Pollard, S. Breiner, D. Anand, and E. Subrahmanian. 2020. Compositional models for power systems. In Proceedings of the 2nd Applied Category Theory Conference (ACT\u201919). Electronic Proceedings in Theoretical Computer Science. DOI:https:\/\/doi.org\/10.4204\/EPTCS.323.10"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342122"},{"key":"e_1_2_1_64_1","doi-asserted-by":"crossref","unstructured":"P.\n      Nuzzo\n     and \n      A. L.\n      Sangiovanni-Vincentelli\n  . \n  2018\n  . Hierarchical system design with vertical contracts. In Principles of Modeling\u2014Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday Lecture Notes in Computer Science\n  . \n  Springer\n  . DOI:https:\/\/doi.org\/10.1007\/978-3-319-95246-8_22    10.1007\/978-3-319-95246-8_22\nP. Nuzzo and A. L. Sangiovanni-Vincentelli. 2018. Hierarchical system design with vertical contracts. In Principles of Modeling\u2014Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday Lecture Notes in Computer Science. Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-319-95246-8_22","DOI":"10.1007\/978-3-319-95246-8_22"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE\u201919)","author":"Oh C.","year":"2019","unstructured":"C. Oh , E. Kang , S. Shiraishi , and P. Nuzzo . 2019. Optimizing assume-guarantee contracts for cyber-physical system design . In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE\u201919) . IEEE. DOI:https:\/\/doi.org\/10.23919\/DATE. 2019 .8715284 10.23919\/DATE.2019.8715284 C. Oh, E. Kang, S. Shiraishi, and P. Nuzzo. 2019. Optimizing assume-guarantee contracts for cyber-physical system design. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE\u201919). IEEE. DOI:https:\/\/doi.org\/10.23919\/DATE.2019.8715284"},{"key":"e_1_2_1_68_1","volume-title":"Proceedings of the 2020 Applied Category Theory Conference (ACT 2020) (Electronic Proceedings in Theoretical Computer Science). Open Publishing Association. DOI:https:\/\/doi.org\/10","author":"Patterson E.","unstructured":"E. Patterson , D. I. Spivak , and D. Vagner . 2021. Wiring diagrams as normal forms for computing in symmetric monoidal categories . In Proceedings of the 2020 Applied Category Theory Conference (ACT 2020) (Electronic Proceedings in Theoretical Computer Science). Open Publishing Association. DOI:https:\/\/doi.org\/10 .4204\/eptcs.333.4 10.4204\/eptcs.333.4 E. Patterson, D. I. Spivak, and D. Vagner. 2021. Wiring diagrams as normal forms for computing in symmetric monoidal categories. In Proceedings of the 2020 Applied Category Theory Conference (ACT 2020) (Electronic Proceedings in Theoretical Computer Science). Open Publishing Association. DOI:https:\/\/doi.org\/10.4204\/eptcs.333.4"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30281-8_2"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2011-416"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306157"},{"key":"e_1_2_1_72_1","volume-title":"Proceedings of the 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE\u201918)","author":"Sangiovanni-Vincentelli A. L.","year":"2018","unstructured":"\u00cd. \u00cd. Romeo, A. L. Sangiovanni-Vincentelli , C.-W. Lin , and E. Kang . 2018. Quotient for assume-guarantee contracts . In Proceedings of the 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE\u201918) . IEEE. DOI:https:\/\/doi.org\/10.1109\/MEMCOD. 2018 .8556872 10.1109\/MEMCOD.2018.8556872 \u00cd. \u00cd. Romeo, A. L. Sangiovanni-Vincentelli, C.-W. Lin, and E. Kang. 2018. Quotient for assume-guarantee contracts. In Proceedings of the 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE\u201918). IEEE. DOI:https:\/\/doi.org\/10.1109\/MEMCOD.2018.8556872"},{"key":"e_1_2_1_73_1","volume-title":"Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC\u201914)","author":"Rungger M.","year":"2059","unstructured":"M. Rungger and P. Tabuada . 2014. Abstracting and refining robustness for cyber-physical systems . In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC\u201914) . DOI:https:\/\/doi.org\/10.1145\/256 2059 .2562133 10.1145\/2562059.2562133 M. Rungger and P. Tabuada. 2014. Abstracting and refining robustness for cyber-physical systems. In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC\u201914). DOI:https:\/\/doi.org\/10.1145\/2562059.2562133"},{"key":"e_1_2_1_74_1","volume-title":"Spivak","author":"Rupel Dylan","year":"2013","unstructured":"Dylan Rupel and David I . Spivak . 2013 . The operad of temporal wiring diagrams: Formalizing a graphical language for discrete-time processes. arXiv:1307.6894. Retrieved from https:\/\/arxiv.org\/abs\/1307.6894. Dylan Rupel and David I. Spivak. 2013. The operad of temporal wiring diagrams: Formalizing a graphical language for discrete-time processes. arXiv:1307.6894. Retrieved from https:\/\/arxiv.org\/abs\/1307.6894."},{"key":"e_1_2_1_75_1","volume-title":"Revised Papers from the International Workshop on Formal Aspects of Component Software (FACS\u201911)","author":"Rushby J.","unstructured":"J. Rushby . 2011. Composing safe systems . In Revised Papers from the International Workshop on Formal Aspects of Component Software (FACS\u201911) . Springer . DOI:https:\/\/doi.org\/10.1007\/978-3-642-35743-5_2 10.1007\/978-3-642-35743-5_2 J. Rushby. 2011. Composing safe systems. In Revised Papers from the International Workshop on Formal Aspects of Component Software (FACS\u201911). Springer. DOI:https:\/\/doi.org\/10.1007\/978-3-642-35743-5_2"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-019-09565-x"},{"key":"e_1_2_1_78_1","unstructured":"D. Spivak. 2016. The steady states of coupled dynamical systems compose according to matrix arithmetic. arXiv:1512.00802 [math.CT].  D. Spivak. 2016. The steady states of coupled dynamical systems compose according to matrix arithmetic. arXiv:1512.00802 [math.CT]."},{"key":"e_1_2_1_79_1","unstructured":"D. I. Spivak. 2013. The operad of wiring diagrams: Formalizing a graphical language for databases recursion and plug-and-play circuits. arXiv:1305.0297 [cs.DB].  D. I. Spivak. 2013. The operad of wiring diagrams: Formalizing a graphical language for databases recursion and plug-and-play circuits. arXiv:1305.0297 [cs.DB]."},{"key":"e_1_2_1_80_1","volume-title":"Category Theory for the Sciences","author":"Spivak D. I.","unstructured":"D. I. Spivak . 2014. Category Theory for the Sciences . MIT Press . D. I. Spivak. 2014. Category Theory for the Sciences. MIT Press."},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.7053"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.11.005"},{"key":"e_1_2_1_83_1","volume-title":"Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC\u201902)","author":"Tabuada P.","unstructured":"P. Tabuada , G. J. Pappas , and P. U. Lima . 2002. Composing abstractions of hybrid systems . In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC\u201902) ,Lecture Notes in Computer Science. Springer. DOI:https:\/\/doi.org\/10.1007\/3-540-45873-5_34 10.1007\/3-540-45873-5_34 P. Tabuada, G. J. Pappas, and P. U. Lima. 2002. Composing abstractions of hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC\u201902),Lecture Notes in Computer Science. Springer. DOI:https:\/\/doi.org\/10.1007\/3-540-45873-5_34"},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2510366"},{"key":"e_1_2_1_85_1","first-page":"1793","article-title":"Algebras of open dynamical systems on the operad of wiring diagrams","volume":"30","author":"Vagner D.","year":"2015","unstructured":"D. Vagner , D. I. Spivak , and E. Lerman . 2015 . Algebras of open dynamical systems on the operad of wiring diagrams . Theory Appl. Categor. 30 , 51 (2015), 1793 \u2013 1822 . http:\/\/www.tac.mta.ca\/tac\/volumes\/30\/51\/30-51.pdf. D. Vagner, D. I. Spivak, and E. Lerman. 2015. Algebras of open dynamical systems on the operad of wiring diagrams. Theory Appl. Categor. 30, 51 (2015), 1793\u20131822. http:\/\/www.tac.mta.ca\/tac\/volumes\/30\/51\/30-51.pdf.","journal-title":"Theory Appl. Categor."},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.906923"},{"key":"e_1_2_1_87_1","unstructured":"G. Zardini N. Lanzetti A. Censi E. Frazzoli and Marco Pavone. 2020. Co-design to enable user-friendly tools to assess the impact of future mobility solutions. arXiv:2008.08975 [eess.SY].  G. Zardini N. Lanzetti A. Censi E. Frazzoli and Marco Pavone. 2020. Co-design to enable user-friendly tools to assess the impact of future mobility solutions. arXiv:2008.08975 [eess.SY]."},{"key":"e_1_2_1_88_1","volume-title":"Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC\u201920)","author":"Zardini G.","year":"2020","unstructured":"G. Zardini , N. Lanzetti , M. Salazar , A. Censi , E. Frazzoli , and M. Pavone . 2020. On the co-design of AV-enabled mobility systems . In Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC\u201920) . IEEE. DOI:https:\/\/doi.org\/10.1109\/ITSC45102. 2020 .9294499 10.1109\/ITSC45102.2020.9294499 G. Zardini, N. Lanzetti, M. Salazar, A. Censi, E. Frazzoli, and M. Pavone. 2020. On the co-design of AV-enabled mobility systems. In Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC\u201920). IEEE. DOI:https:\/\/doi.org\/10.1109\/ITSC45102.2020.9294499"},{"key":"e_1_2_1_89_1","unstructured":"G. Zardini D. Milojevic A. Censi and E. Frazzoli. 2021. A formal approach to the co-design of embodied intelligence. arXiv:2011.10756 [cs.RO].  G. Zardini D. Milojevic A. Censi and E. Frazzoli. 2021. A formal approach to the co-design of embodied intelligence. arXiv:2011.10756 [cs.RO]."},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2864271"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461669","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3461669","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3461669","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:05Z","timestamp":1750193345000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461669"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":93,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,7,31]]}},"alternative-id":["10.1145\/3461669"],"URL":"https:\/\/doi.org\/10.1145\/3461669","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2020-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}