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