Aaron David Ames (2006):
A categorical theory of hybrid systems.
Michael S Branicky, Vivek S Borkar & Sanjoy K Mitter (1998):
A unified framework for hybrid control: Model and optimal control theory.
IEEE transactions on automatic control 43(1),
pp. 31–45,
doi:10.1109/9.654885.
Andrea Censi (2015):
Efficient neuromorphic optomotor heading regulation.
In: 2015 American Control Conference (ACC).
IEEE,
pp. 3854–3861,
doi:10.1109/ACC.2015.7171931.
Andrea Censi (2015):
A mathematical theory of co-design.
arXiv preprint arXiv:1512.08055.
Dimos V Dimarogonas, Emilio Frazzoli & Karl H Johansson (2011):
Distributed event-triggered control for multi-agent systems.
IEEE Transactions on Automatic Control 57(5),
pp. 1291–1297,
doi:10.1109/TAC.2011.2174666.
Guillermo Gallego, Tobi Delbruck, Garrick Orchard, Chiara Bartolozzi, Brian Taba, Andrea Censi, Stefan Leutenegger, Andrew Davison, Joerg Conradt & Kostas Daniilidis (2019):
Event-based vision: A survey.
arXiv preprint arXiv:1904.08405.
WPMH Heemels, Karl Henrik Johansson & Paulo Tabuada (2012):
An introduction to event-triggered and self-triggered control.
In: 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
IEEE,
pp. 3270–3285,
doi:10.1109/CDC.2012.6425820.
Thomas A Henzinger (2000):
The theory of hybrid automata.
In: Verification of digital and hybrid systems.
Springer,
pp. 265–292,
doi:10.1007/BFb0032003.
Edward A Lee (2015):
The past, present and future of cyber-physical systems: A focus on models.
Sensors 15(3),
pp. 4837–4869,
doi:10.3390/s150304837.
Edward A Lee (2016):
Fundamental limits of cyber-physical systems modeling.
ACM Transactions on Cyber-Physical Systems 1(1),
pp. 1–26.
Edward A Lee (2018):
Models of Timed Systems.
In: International Conference on Formal Modeling and Analysis of Timed Systems.
Springer,
pp. 17–33,
doi:10.1109/RTAS.2007.5.
Edward A Lee, Jaijeet Roychowdhury & Sanjit A Seshia (2010):
Fundamental Algorithms for System Modeling, Analysis, and Optimization.
Patrick Lichtsteiner, Christoph Posch & Tobi Delbruck (2008):
A 128128 120 dB 15 μs Latency Asynchronous Temporal Contrast Vision Sensor.
IEEE journal of solid-state circuits 43(2),
pp. 566–576,
doi:10.1109/JSSC.2007.914337.
Yuji Nozaki & Tobi Delbruck (2017):
Temperature and parasitic photocurrent effects in dynamic vision sensors.
IEEE Transactions on Electron Devices 64(8),
pp. 3239–3245,
doi:10.1109/TED.2017.2717848.
André Platzer:
Lecture Notes on Foundations of Cyber-Physical Systems.
André Platzer (2008):
Differential dynamic logic for hybrid systems.
Journal of Automated Reasoning 41(2),
pp. 143–189,
doi:10.1007/s10817-008-9103-8.
Patrick Schultz & David I Spivak (2019):
Temporal Type Theory: A topos-theoretic approach to systems and behavior 29.
Springer,
doi:10.1007/978-3-030-00704-1_5.
Patrick Schultz, David I Spivak & Christina Vasilakopoulou (2020):
Dynamical systems and sheaves.
Applied Categorical Structures 28(1),
pp. 1–57,
doi:10.1016/j.jpaa.2016.10.009.
Alberto Speranzon, David I Spivak & Srivatsan Varadarajan (2018):
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach.
arXiv preprint arXiv:1802.03080.
Paulo Tabuada, George J Pappas & Pedro Lima (2004):
Compositional abstractions of hybrid control systems.
Discrete event dynamic systems 14(2),
pp. 203–238,
doi:10.1023/B:DISC.0000018571.14789.24.
Norbert Wiener (1948):
Cybernetics or Control and Communication in the Animal and the Machine.
MIT press.
Gioele Zardini, David I. Spivak, Andrea Censi & Emilio Frazzoli (2020):
A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version).
arXiv preprint arXiv:2005.04715.