A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
Systems and Control
2021-03-09 v4 Robotics
Systems and Control
Signal Processing
Category Theory
Abstract
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.
Cite
@article{arxiv.2005.04715,
title = {A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)},
author = {Gioele Zardini and David I. Spivak and Andrea Censi and Emilio Frazzoli},
journal= {arXiv preprint arXiv:2005.04715},
year = {2021}
}
Comments
24 pages