@book(Alur:2015,
author = {R.~Alur},
year = {2015},
title = {Principles of Cyber-Physical Systems},
publisher = {The MIT Press},
)
@inproceedings(ames:2005,
author = {A.~D. Ames and S.~Sastry},
year = {2005},
title = {A homology theory for hybrid systems: Hybrid homology},
booktitle = {Proceedings of the 2005 International Workshop on Hybrid Systems Computation and Control (HSCC)},
organization = {Springer},
doi = {10.1007/978-3-540-31954-2\_6},
)
@incollection(ashby:1991,
author = {W.~R. Ashby},
year = {1991},
title = {Principles of the self-organizing system},
booktitle = {Facets of systems science},
publisher = {Springer},
doi = {10.1007/978-1-4899-0718-9\_38},
)
@article(baez:2015,
author = {J.~C. Baez and J.~Erbele},
year = {2015},
title = {Categories in control},
journal = {Theory and Applications of Categories},
url = {http://www.tac.mta.ca/tac/volumes/30/24/30-24.pdf},
)
@inproceedings(breiner:2019,
author = {S.~Breiner and O.~Marie-Rose and B.~S. Pollard and E.~Subrahmanian},
year = {2020},
title = {Operadic diagnosis in hierarchical systems},
booktitle = {Proceedings of the 2019 Applied Category Theory Conference ({ACT})},
doi = {10.4204/EPTCS.323.5},
)
@incollection(breiner:2019a,
author = {S.~Breiner and R.~D. Sriram and E.~Subrahmanian},
year = {2019},
title = {Compositional Models for Complex Systems},
booktitle = {Artificial Intelligence for the Internet of Everything},
publisher = {Elsevier},
doi = {10.1016/B978-0-12-817636-8.00013-2},
)
@inproceedings(carter:2018,
author = {B.~T. Carter and G.~Bakirtzis and C.~R. Elks and C.~H. Fleming},
year = {2018},
title = {A systems approach for eliciting mission-centric security requirements},
booktitle = {Proceedings of the 2018 Annual IEEE International Systems Conference (SysCon)},
organization = {IEEE},
doi = {10.1109/SYSCON.2018.8369539},
)
@inproceedings(duran:2020,
author = {F.~Dur{\'a}n and R.~Heinrich and D.~P{\'e}rez-Palac{\'\i}n and C.~L. Talcott and S.~Zschaler},
year = {2020},
title = {Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)},
booktitle = {Dagstuhl Reports},
organization = {Schloss Dagstuhl-Leibniz-Zentrum f{\"u}r Informatik},
url = {https://drops.dagstuhl.de/opus/volltexte/2020/11985/},
)
@inproceedings(fiadeiro:1995,
author = {J.~L. Fiadeiro and T.~Maibaum},
year = {1995},
title = {Interconnecting formalisms: supporting modularity, reuse and incrementality},
booktitle = {Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)},
doi = {10.1145/222124.222141},
)
@book(fong:2018,
author = {B.~Fong and D.~I. Spivak},
year = {2019},
title = {An Invitation to Applied Category Theory: Seven Sketches in Compositionality},
publisher = {Cambridge University Press},
doi = {10.1017/9781108668804},
)
@inproceedings(gebreyohannes:2018,
author = {S.~Gebreyohannes and W.~Edmonson and A.~Esterline},
year = {2018},
title = {Formalization of the responsive and formal design process using category theory},
booktitle = {Proceedings of the 2018 Annual IEEE International Systems Conference (SysCon)},
organization = {IEEE},
doi = {10.1109/SYSCON.2018.8369508},
)
@article(gell-mann:1994,
author = {M.~Gell-Mann},
year = {1994},
title = {Complex adaptive systems},
journal = {Complexity: Metaphors, Models, and Reality},
url = {https://authors.library.caltech.edu/60491/},
)
@inproceedings(gell-mann:2010,
author = {M.~Gell-Mann and S.~Lloyd},
year = {2010},
title = {Effective complexity},
booktitle = {Murray Gell-Mann: Selected Papers},
publisher = {World Scientific},
doi = {10.1142/9789812836854\_0027},
)
@article(goguen:1991,
author = {J.~A. Goguen},
year = {1991},
title = {A categorical manifesto},
journal = {Mathematical structures in computer science},
doi = {10.1017/S0960129500000050},
)
@article(hasuo:2017,
author = {I.~Hasuo},
year = {2017},
title = {Metamathematics for systems design},
journal = {New Generation Computing},
doi = {10.1007/s00354-017-0023-1},
)
@inproceedings(kibret:2019,
author = {N.~Kibret and W.~W. Edmonson and S.~Gebreyohannes},
year = {2019},
title = {Category Theoretic Based Formalization of the Verifiable Design Process},
booktitle = {Proceedings of the 2019 {IEEE} International Systems Conference (SysCon)},
publisher = {{IEEE}},
doi = {10.1109/SYSCON.2019.8836804},
)
@article(leveson:2004,
author = {N.~G. Leveson},
year = {2004},
title = {A new accident model for engineering safer systems},
journal = {Safety science},
doi = {10.1016/S0925-7535(03)00047-X},
)
@article(leveson:2017,
author = {N.~G. Leveson},
year = {2017},
title = {Rasmussen's legacy: A paradigm change in engineering for safety},
journal = {Applied ergonomics},
doi = {10.1016/j.apergo.2016.01.015},
)
@misc(systemModel,
author = {B.~Messner and D.~Tilbury and R.~Hill and J.~D. Taylor},
year = {2020},
title = {Control Tutorials for {Matlab} and {Simulink}: Aircraft Pitch},
howpublished = {\url{https://web.archive.org/web/20200509164711/http://ctms.engin.umich.edu/CTMS/index.php?example=AircraftPitch§ion=SystemModeling}},
)
@inproceedings(nolan:2019,
author = {J.~S. Nolan and B.~S. Pollard and S.~Breiner and D.~Anand and E.~Subrahmanian},
year = {2020},
title = {Compositional Models for Power Systems},
booktitle = {Proceedings of the 2019 Applied Category Theory Conference {ACT}},
series = {Electronic Proceedings in Theoretical Computer Science},
doi = {10.4204/EPTCS.323.10},
)
@inproceedings(rajkumar:2010,
author = {R.~Rajkumar and I.~Lee and L.~Sha and J.~Stankovic},
year = {2010},
title = {Cyber-physical systems: the next computing revolution},
booktitle = {Proceedings of the 47th Design Automation Conference (DAC)},
organization = {IEEE},
doi = {10.1145/1837274.1837461},
)
@article(rasmussen:1985,
author = {J.~Rasmussen},
year = {1985},
title = {The role of hierarchical knowledge representation in decisionmaking and system management},
journal = {IEEE Transactions on systems, man, and cybernetics},
doi = {10.1109/TSMC.1985.6313353},
)
@article(sangiovanni:2012,
author = {Sangiovanni{-}Vincentelli, A.~L. and W.~Damm and R.~Passerone},
year = {2012},
title = {Taming {D}r. {F}rankenstein: Contract-Based Design for Cyber-Physical Systems},
journal = {European Journal of Control},
doi = {10.3166/ejc.18.217-238},
)
@inproceedings(saravi:2008,
author = {M.~Saravi and L.~Newnes and A.~R. Mileham and Y.~M. Goh},
year = {2008},
title = {Estimating cost at the conceptual design stage to optimize design in terms of performance and cost},
booktitle = {Proceedings of the 15th ISPE International Conference on Concurrent Engineering (CE)},
publisher = {Springer},
doi = {10.1007/978-1-84800-972-1\_11},
)
@article(spivak:2016,
author = {P.~Schultz and D.~I. Spivak and C.~Vasilakopoulou},
year = {2020},
title = {Dynamical systems and sheaves},
journal = {Applied Categorical Structures},
doi = {10.1007/s10485-019-09565},
)
@unpublished(SpivakSteadyStates,
author = {D.~I. Spivak},
year = {2016},
title = {The steady states of coupled dynamical systems compose according to matrix arithmetic},
note = {ArXiv:1512.00802 [math.CT]},
)
@unpublished(spivak:2020,
author = {D.~I. Spivak},
year = {2020},
title = {Poly: An abundant categorical setting for mode-dependent dynamics},
note = {ArXiv:2005.01894 [math.CT]},
)
@article(WiringDiagram,
author = {D.~Vagner and D.~I. Spivak and E.~Lerman},
year = {2015},
title = {Algebras of open dynamical systems on the operad of wiring diagrams},
journal = {Theory and Applications of Categories},
url = {http://www.tac.mta.ca/tac/volumes/30/51/30-51.pdf},
)
@article(von:1950,
author = {L.~Von~Bertalanffy},
year = {1950},
title = {An outline of general system theory.},
journal = {British Journal for the Philosophy of Science},
doi = {10.1093/bjps/I.2.134},
)
@article(young:2014,
author = {W.~Young and N.~G. Leveson},
year = {2014},
title = {An integrated approach to safety and security based on systems theory},
journal = {Communications of the ACM},
doi = {10.1145/2556938},
)