Compositional Thinking in Cyber-Physical Systems Theory

05/27/2021
by   Georgios Bakirtzis, et al.
0

Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras. We posit that verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyber-physical systems theory, which can assist in the modeling and analysis of safety-critical cyber-physical systems.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

10/15/2020

Categorical Semantics of Cyber-Physical Systems Theory

Cyber-physical systems require the construction and management of variou...
09/10/2021

Compositional Cyber-Physical Systems Theory

This dissertation builds a compositional cyber-physical systems theory t...
04/30/2020

Fundamental Challenges of Cyber-Physical Systems Security Modeling

Systems modeling practice lacks security analysis tools that can interfa...
10/12/2020

A Generic Framework For Capturing Reliability in Cyber Physical Systems

Cyber Physical Systems solve complex problems through their tight integr...
11/17/2019

Guiding the Self-organization of Cyber-Physical Systems

Self-organization offers a promising approach for designing adaptive sys...
12/07/2020

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

We present a novel and generalised notion of doping cleanness for cyber-...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.