论文标题
基于事件的系统（扩展版本）的组成纸纸理论框架
A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
论文作者
论文摘要
提出了用于建模基于复杂事件的系统的组成捆起来理论框架。我们表明，基于事件的系统是机器，带有输入和输出，并且可以由不同类型的机器组成，均在统一的，横扫理论的形式主义中。我们将机器人系统作为复杂系统的典范，并使用此框架严格描述执行器，传感器和算法。
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.
