DeepAI AI Chat
Log In Sign Up

A Compositional Sheaf-Theoretic Framework for Event-Based Systems

by   Gioele Zardini, et al.

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.


page 1

page 2

page 3

page 4


Inverses, Conditionals and Compositional Operators in Separative Valuation Algebra

Compositional models were introduce by Jirousek and Shenoy in the genera...

Image Processing based Systems and Techniques for the Recognition of Ancient and Modern Coins

Coins are frequently used in everyday life at various places like in ban...

Decentralizing Information Technology: The Advent of Resource Based Systems

The growth of the Bitcoin network during the first decade of its operati...

Monitoring AI systems: A Problem Analysis, Framework and Outlook

Knowledge-based systems have been used to monitor machines and processes...

Combining Event Semantics and Degree Semantics for Natural Language Inference

In formal semantics, there are two well-developed semantic frameworks: e...

Adversarial Machine Learning: Perspectives from Adversarial Risk Analysis

Adversarial Machine Learning (AML) is emerging as a major field aimed at...

Imprecise Meanings as a Cause of Uncertainty in Medical Knowledge-Based Systems

There has been a considerable amount of work on uncertainty in knowledge...