References

  1. Aaron David Ames (2006): A categorical theory of hybrid systems.
  2. 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.
  3. Andrea Censi (2015): Efficient neuromorphic optomotor heading regulation. In: 2015 American Control Conference (ACC). IEEE, pp. 3854–3861, doi:10.1109/ACC.2015.7171931.
  4. Andrea Censi (2015): A mathematical theory of co-design. arXiv preprint arXiv:1512.08055.
  5. 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.
  6. 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.
  7. 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.
  8. Thomas A Henzinger (2000): The theory of hybrid automata. In: Verification of digital and hybrid systems. Springer, pp. 265–292, doi:10.1007/BFb0032003.
  9. 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.
  10. Edward A Lee (2016): Fundamental limits of cyber-physical systems modeling. ACM Transactions on Cyber-Physical Systems 1(1), pp. 1–26.
  11. 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.
  12. Edward A Lee, Jaijeet Roychowdhury & Sanjit A Seshia (2010): Fundamental Algorithms for System Modeling, Analysis, and Optimization.
  13. 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.
  14. 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.
  15. André Platzer: Lecture Notes on Foundations of Cyber-Physical Systems.
  16. 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.
  17. 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.
  18. 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.
  19. Alberto Speranzon, David I Spivak & Srivatsan Varadarajan (2018): Abstraction, Composition and Contracts: A Sheaf Theoretic Approach. arXiv preprint arXiv:1802.03080.
  20. 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.
  21. Norbert Wiener (1948): Cybernetics or Control and Communication in the Animal and the Machine. MIT press.
  22. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org