A Compositional Sheaf-Theoretic Framework for Event-Based Systems

05/10/2020
by   Gioele Zardini, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset