Compositional Thinking in Cyberphysical Systems Theory

Georgios Bakirtzis, Eswaran Subrahmanian, Cody Harrison Fleming

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.