The technique of modeling Cyberphysical systems using Coalgebra

Abstract

Relevance. Presently, we observe a rapid pace of development in information technologies, the implementation of which results in a broad percentage of automation in manufacturing processes. In most cases, this goal can be achieved by integrating Cyber-Physical Systems (CPS) into production processes. The primary feature of such information systems is the integration of various sensors and actuators (the physical component of the system) into a computational system performing operational and control functions (the cybernetic component of the system). These systems require a high level of operational reliability, demanding careful analysis of the behavior specification of such systems to identify critical operational states from their designers.

Goal. This work explores the possibility of utilizing formal models to describe system behavior using Coalgebra. Such an approach provides the opportunity to more effectively avoid errors in analyzing the behavior of Cyber-Physical Systems during the design stage. This investigation demonstrates the methodology of modeling distributed types of dynamic systems using Coalgebra.

Research methods. The main types of dynamic systems in this study are abstracted into models based on Coalgebra.

The results. Approaches to modeling the most common types of dynamic systems, namely, Deterministic Systems, Transition Systems, and Stochastic Systems, have been developed. Models are constructed using category theory and Coalgebra, ensuring the necessary high level of abstraction. Such an approach enables working not with individual systems but with entire classes of similar systems.

Conclusions. The research results have demonstrated fundamental methods for creating models of basic dynamic systems using Coalgebra. The findings of this study can be beneficial for addressing the challenge of modeling dynamic systems as a basis for further research.