A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
This work provides a foundational mathematical framework for modeling complex event-based systems, such as robotics, which could benefit researchers and engineers in systems theory and robotics.
The paper introduces a compositional sheaf-theoretic framework for modeling event-based systems, demonstrating that such systems can be treated as machines with inputs and outputs and composed across different types within this unified formalism, using robotic systems as an example 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.