DeepAI AI Chat
Log In Sign Up

AlgebraicSystems: Compositional Verification for Autonomous System Design

03/03/2022
by   Georgios Bakirtzis, et al.
The University of Texas at Austin
0

Autonomous systems require the management of several model views to assure properties such as safety and security among others. A crucial issue in autonomous systems design assurance is the notion of emergent behavior; we cannot use their parts in isolation to examine their overall behavior or performance. Compositional verification attempts to combat emergence by implementing model transformation as structure-preserving maps between model views. AlgebraicDynamics relies on categorical semantics to draw relationships between algebras and model views. We propose AlgebraicSystems, a conglomeration of algebraic methods to assign semantics and categorical primitives to give computational meaning to relationships between models so that the formalisms and resulting tools are interoperable through vertical and horizontal composition.

READ FULL TEXT
09/10/2021

Compositional Cyber-Physical Systems Theory

This dissertation builds a compositional cyber-physical systems theory t...
05/23/2015

A Frobenius Model of Information Structure in Categorical Compositional Distributional Semantics

The categorical compositional distributional model of Coecke, Sadrzadeh ...
05/13/2016

A Corpus-based Toy Model for DisCoCat

The categorical compositional distributional (DisCoCat) model of meaning...
03/24/2017

Interacting Conceptual Spaces I : Grammatical Composition of Concepts

The categorical compositional approach to meaning has been successfully ...
08/12/2016

Compositional Distributional Cognition

We accommodate the Integrated Connectionist/Symbolic Architecture (ICS) ...
07/28/2022

Frobenius structures in star-autonomous categories

It is known that the quantale of sup-preserving maps from a complete lat...
07/14/2021

Composition of choreography automata

Choreography automata are an automata-based model of choreographies, tha...