Gioele Zardini (ETH Zürich) |
David I. Spivak (MIT) |
Andrea Censi (ETH Zürich) |
Emilio Frazzoli (ETH Zürich) |
A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and that they can be composed with machines of different types, all within a unified, sheaf-theoretic formalism. We take robotic systems as an exemplar of complex systems and rigorously describe actuators, sensors, and algorithms using this framework. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.333.10 | bibtex | |
Comments and questions to:
![]() |
For website issues:
![]() |