Compositional Thinking in Cyberphysical Systems Theory

DOI10.1109/MC.2021.3085532MaRDI QIDQ6368663zbMATH OpenFDO

Authors Georgios Bakirtzis, Eswaran Subrahmanian, C. H. Fleming

Publication date 26 May 2021

Full work available at URL https://doi.org/10.1109/MC.2021.3085532

Abstract: 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.

This page was built for publication: Compositional Thinking in Cyberphysical Systems Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6368663)