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