Compositional Thinking in Cyberphysical Systems Theory

Georgios Bakirtzis; Eswaran Subrahmanian; Cody H. Fleming

doi:10.1109/MC.2021.3085532

Compositional Thinking in Cyberphysical Systems Theory

Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming

Research output: Contribution to specialist publication › Article

Abstract

Engineering safe and secure cyberphysical systems requires system engineers to develop and maintain a number of model views, both dynamic and static. Verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyberphysical systems theory.

Original language	English
Pages	50-59
Number of pages	10
Volume	54
No.	12
Specialist publication	Computer
DOIs	https://doi.org/10.1109/MC.2021.3085532
Publication status	Published - 1 Dec 2021
Externally published	Yes

Access to Document

10.1109/MC.2021.3085532

Cite this

@misc{44daff187c5b4d4a9b1654d0423012c7,

title = "Compositional Thinking in Cyberphysical Systems Theory",

abstract = "Engineering safe and secure cyberphysical systems requires system engineers to develop and maintain a number of model views, both dynamic and static. Verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyberphysical systems theory.",

author = "Georgios Bakirtzis and Eswaran Subrahmanian and Fleming, \{Cody H.\}",

note = "Publisher Copyright: {\textcopyright} 1970-2012 IEEE.",

year = "2021",

month = dec,

day = "1",

doi = "10.1109/MC.2021.3085532",

language = "English",

volume = "54",

pages = "50--59",

journal = "Computer",

issn = "0018-9162",

}

TY - GEN

T1 - Compositional Thinking in Cyberphysical Systems Theory

AU - Bakirtzis, Georgios

AU - Subrahmanian, Eswaran

AU - Fleming, Cody H.

PY - 2021/12/1

Y1 - 2021/12/1

N2 - Engineering safe and secure cyberphysical systems requires system engineers to develop and maintain a number of model views, both dynamic and static. Verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyberphysical systems theory.

AB - Engineering safe and secure cyberphysical systems requires system engineers to develop and maintain a number of model views, both dynamic and static. Verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyberphysical systems theory.

UR - https://www.scopus.com/pages/publications/85115687391

U2 - 10.1109/MC.2021.3085532

DO - 10.1109/MC.2021.3085532

M3 - Article

AN - SCOPUS:85115687391

SN - 0018-9162

VL - 54

SP - 50

EP - 59

JO - Computer

JF - Computer

ER -

Compositional Thinking in Cyberphysical Systems Theory

Abstract

Access to Document

Other files and links

Fingerprint

Cite this