A Compositional Sheaf-Theoretic Framework for Event-Based Systems

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.

In David I. Spivak and Jamie Vicary: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020 (ACT 2020), Cambridge, USA, 6-10th July 2020, Electronic Proceedings in Theoretical Computer Science 333, pp. 139–153.
Published: 8th February 2021.

ArXived at: http://dx.doi.org/10.4204/EPTCS.333.10 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org