A Categorical Approach Towards Metamodeling Cyber-physical Systems

Abstract

Cyber-physical systems, orchestrating computing, networking, and physical processes, are coupled, hybrid systems characterized by heterogeneous, interconnected subsystems. In civil engineering, the most common applications of cyber-physical systems are associated with structural health monitoring (SHM) and structural control. Given the complexity and heterogeneity of cyber-physical systems designed for structural health monitoring and control applications, it is hardly possible to reliably assess the quality of a cyber-physical system (CPS), which is needed for increased availability and for identifying potential sources of faults in a CPS. This conceptual paper proposes a metamodeling approach that can be used as a basis to model cyber-physical systems in order to assess the CPS quality based on category theory. Category theory is a mathematical theory that allows formalizing concepts of high-level abstractions on a meta level. Using the CPS metamodeling approach presented in this paper, each subsystem of a CPS can be modeled and assessed individually, entailing a holistic quality assessment of a CPS and its subsystems. However, since this paper is conceptual, it is intended to devote additional future research efforts to metamodeling and assessing cyber-physical systems, achieving a complete conceptual modeling framework for cyber-physical systems applied in structural health monitoring and control.

Designing next-generation cyber-physical systems: Why is it an issue?

“…Model-based design and specification have been complemented with model-based verification of the operation logic and validation of the performance of CPSs. Modelling is based on both aspect models and meta-models (Legatiuk et al, 2017). Aspect models separately address functional, architectural, operation, interaction, etc.…”

Artificial Intelligence in Protecting Smart Building’s Cloud Service Infrastructure from Cyberattacks

“…Smart buildings are also cyber-physical (CP) systems that combine both the physical aspects of the building and cyber (virtual) aspects of the cloud-based solution. Physical attributes include building, sensors, and actuators (Legatiuk et al, 2018). Building functions as the frame of the system, providing a place to integrate sensors and actuators while protecting these devices against weather conditions and manipulation.…”

“…For collecting data, Legatiuk et al (2018) recommend that these kinds of systems should be recorded mathematically. Sensors of the buildings or target structures ought to be modeled mathematically together with corresponding measured data.…”