A Compositional Sheaf-Theoretic Framework for Event-Based Systems

Autor:	Emilio Frazzoli, Gioele Zardini, Andrea Censi, David I. Spivak
Rok vydání:	2021
Předmět:	FOS: Computer and information sciences Computer Science - Robotics Formalism (philosophy of mathematics) Robotic systems Theoretical computer science Computer science Event based Complex system Sheaf Actuator Robotics (cs.RO)
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 333:139-153
ISSN:	2075-2180
DOI:	10.4204/eptcs.333.10
Popis:	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. Comment: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:2005.04715
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6852b02bfa0a8185792bdbc12d1d640 https://doi.org/10.4204/eptcs.333.10 Zobrazit plný text záznamu