A Compositional Sheaf-Theoretic Framework for Event-Based Systems

Abstract

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.

In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:2005.04715

References in corpus (6)

• A Mathematical Theory of Co-Design
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Temporal Type Theory: A topos-theoretic approach to systems and behavior
• A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
• A Compositional Sheaf-Theoretic Framework for Event-Based Systems
• Abstraction, Composition and Contracts: A Sheaf Theoretic Approach

Cited by in corpus (4)

• Co-Design of Autonomous Systems: From Hardware Selection to Control Synthesis
• Operads for complex system design specification, analysis and synthesis
• A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
• A Compositional Sheaf-Theoretic Framework for Event-Based Systems