5 November 2020, 13:00, online

Speaker

Christina Vasilakopoulou, University of Patras

Title

Categorical Semantics of Cyber-Physical Systems

Abstract

In this talk, we will describe the category of wiring diagrams and the systems-as-algebras formalism, which is able to capture the architecture, behavior and requirement models of CPS theory in a compositional way. Adding the time component and considering total and deterministic systems leads to the future steps for real-life applications.

References

Slides of the talk