28 citations · 61 across the 3 of their papers we have counts for
3 papers
Compositional Cyber-Physical Systems Modeling
Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming
Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system i…
Structured versus Decorated Cospans
John C. Baez, Kenny Courser, Christina Vasilakopoulou
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \co…
Categorical Semantics of Cyber-Physical Systems Theory
Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou
Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of…