A Compositional Sheaf-Theoretic Framework for Event-Based Systems
This work addresses the problem of modeling complex event-based systems, particularly in robotics, by providing a unified theoretical framework, but it appears incremental as it applies existing sheaf theory to a specific domain.
The paper tackles the modeling of complex event-based systems by introducing a compositional sheaf-theoretic framework, showing that such systems can be treated as machines with inputs and outputs and composed within this unified formalism, with robotic systems used as an exemplar to describe actuators, sensors, and algorithms.
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.