{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T17:53:46Z","timestamp":1726163626961},"reference-count":27,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.333.9","type":"journal-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T22:45:56Z","timestamp":1611096356000},"page":"125-138","source":"Crossref","is-referenced-by-count":7,"title":["Compositional Cyber-Physical Systems Modeling"],"prefix":"10.4204","volume":"333","author":[{"given":"Georgios","family":"Bakirtzis","sequence":"first","affiliation":[{"name":"University of Virginia"}]},{"given":"Christina","family":"Vasilakopoulou","sequence":"additional","affiliation":[{"name":"University of Patras"}]},{"given":"Cody H.","family":"Fleming","sequence":"additional","affiliation":[{"name":"University of Virginia"}]}],"member":"2720","published-online":{"date-parts":[[2021,2,8]]},"reference":[{"key":"Alur:2015","volume-title":"Principles of Cyber-Physical Systems","author":"Alur","year":"2015"},{"key":"ames:2005","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_6","article-title":"A homology theory for hybrid systems: Hybrid homology","volume-title":"Proceedings of the 2005 International Workshop on Hybrid Systems Computation and Control (HSCC)","author":"Ames","year":"2005"},{"key":"ashby:1991","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-0718-9_38","article-title":"Principles of the self-organizing system","volume-title":"Facets of systems science","author":"Ashby","year":"1991"},{"key":"baez:2015","article-title":"Categories in control","author":"Baez","year":"2015","journal-title":"Theory and Applications of Categories"},{"key":"breiner:2019","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.323.5","article-title":"Operadic diagnosis in hierarchical systems","volume-title":"Proceedings of the 2019 Applied Category Theory Conference (ACT)","author":"Breiner","year":"2020"},{"key":"breiner:2019a","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-817636-8.00013-2","article-title":"Compositional Models for Complex Systems","volume-title":"Artificial Intelligence for the Internet of Everything","author":"Breiner","year":"2019"},{"key":"carter:2018","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369539","article-title":"A systems approach for eliciting mission-centric security requirements","volume-title":"Proceedings of the 2018 Annual IEEE International Systems Conference (SysCon)","author":"Carter","year":"2018"},{"key":"duran:2020","article-title":"Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)","volume-title":"Dagstuhl Reports","author":"Dur\u00e1n","year":"2020"},{"key":"fiadeiro:1995","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222141","article-title":"Interconnecting formalisms: supporting modularity, reuse and incrementality","volume-title":"Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)","author":"Fiadeiro","year":"1995"},{"key":"fong:2018","doi-asserted-by":"publisher","DOI":"10.1017\/9781108668804","volume-title":"An Invitation to Applied Category Theory: Seven Sketches in Compositionality","author":"Fong","year":"2019"},{"key":"gebreyohannes:2018","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369508","article-title":"Formalization of the responsive and formal design process using category theory","volume-title":"Proceedings of the 2018 Annual IEEE International Systems Conference (SysCon)","author":"Gebreyohannes","year":"2018"},{"key":"gell-mann:1994","article-title":"Complex adaptive systems","author":"Gell-Mann","year":"1994","journal-title":"Complexity: Metaphors, Models, and Reality"},{"key":"gell-mann:2010","doi-asserted-by":"publisher","DOI":"10.1142\/9789812836854_0027","article-title":"Effective complexity","volume-title":"Murray Gell-Mann: Selected Papers","author":"Gell-Mann","year":"2010"},{"key":"goguen:1991","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000050","article-title":"A categorical manifesto","author":"Goguen","year":"1991","journal-title":"Mathematical structures in computer science"},{"key":"hasuo:2017","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-017-0023-1","article-title":"Metamathematics for systems design","author":"Hasuo","year":"2017","journal-title":"New Generation Computing"},{"key":"kibret:2019","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2019.8836804","article-title":"Category Theoretic Based Formalization of the Verifiable Design Process","volume-title":"Proceedings of the 2019 IEEE International Systems Conference (SysCon)","author":"Kibret","year":"2019"},{"key":"leveson:2004","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7535(03)00047-X","article-title":"A new accident model for engineering safer systems","author":"Leveson","year":"2004","journal-title":"Safety science"},{"key":"leveson:2017","doi-asserted-by":"publisher","DOI":"10.1016\/j.apergo.2016.01.015","article-title":"Rasmussen's legacy: A paradigm change in engineering for safety","author":"Leveson","year":"2017","journal-title":"Applied ergonomics"},{"key":"nolan:2019","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.323.10","article-title":"Compositional Models for Power Systems","volume-title":"Proceedings of the 2019 Applied Category Theory Conference ACT","author":"Nolan","year":"2020"},{"key":"rajkumar:2010","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461","article-title":"Cyber-physical systems: the next computing revolution","volume-title":"Proceedings of the 47th Design Automation Conference (DAC)","author":"Rajkumar","year":"2010"},{"key":"rasmussen:1985","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1985.6313353","article-title":"The role of hierarchical knowledge representation in decisionmaking and system management","author":"Rasmussen","year":"1985","journal-title":"IEEE Transactions on systems, man, and cybernetics"},{"key":"sangiovanni:2012","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238","article-title":"Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems","author":"Sangiovanni-Vincentelli","year":"2012","journal-title":"European Journal of Control"},{"key":"saravi:2008","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-972-1_11","article-title":"Estimating cost at the conceptual design stage to optimize design in terms of performance and cost","volume-title":"Proceedings of the 15th ISPE International Conference on Concurrent Engineering (CE)","author":"Saravi","year":"2008"},{"key":"spivak:2016","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-019-09565","article-title":"Dynamical systems and sheaves","author":"Schultz","year":"2020","journal-title":"Applied Categorical Structures"},{"key":"WiringDiagram","article-title":"Algebras of open dynamical systems on the operad of wiring diagrams","author":"Vagner","year":"2015","journal-title":"Theory and Applications of Categories"},{"key":"von:1950","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/I.2.134","article-title":"An outline of general system theory.","author":"Von Bertalanffy","year":"1950","journal-title":"British Journal for the Philosophy of Science"},{"key":"young:2014","doi-asserted-by":"publisher","DOI":"10.1145\/2556938","article-title":"An integrated approach to safety and security based on systems theory","author":"Young","year":"2014","journal-title":"Communications of the ACM"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T03:24:19Z","timestamp":1612841059000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2101.10484v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.4204\/eptcs.333.9","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,8]]}}}