A compositional sheaf-theoretic framework for event-based systems

MaRDI QIDQ5019670zbMATH OpenFDO

Authors Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.10485, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.10

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Artificial intelligence for robotics (68T40) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Dynamical systems and sheaves
• Sheaves, objects, and distributed systems
• Sheaves and geometric logic and applications to modular verification of complex systems
• Formal composition of hybrid systems
• Sheaf semantics for concurrent interacting objects

Cites work

• A unified framework for hybrid control: model and optimal control theory
• Compositional abstractions of hybrid control systems
• Differential dynamic logic for hybrid systems
• Distributed Event-Triggered Control for Multi-Agent Systems
• scientific article; zbMATH DE number 3159869 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Logical foundations of cyber-physical systems
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Temporal type theory. A topos-theoretic approach to systems and behavior

Cited in

(6)

• Recognition in a distributed system
• Dynamical systems and sheaves
• Sheaves and geometric logic and applications to modular verification of complex systems
• scientific article; zbMATH DE number 7020132 (Why is no real title available?)
• Towards a sheaf semantics for cooperating agents scenarios
• Embedding the Calendar and Time Type System in Temporal Type Theory

This page was built for publication: A compositional sheaf-theoretic framework for event-based systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019670)