A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
ETH Zürich（苏黎世联邦理工学院）；Massachusetts Institute of Technology（麻省理工学院）
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
