The distinctive feature of new generation information systems is not only their complexity in terms of number of elements, number of connections and hierarchy levels, but also their constantly changing structure and behavior. In this situation the problem of receiving actual information about the observed complex Cyber–Physical Systems (CPS) current status becomes a rather difficult task. This information is needed by stakeholders for solving tasks concerning keeping the system operational, improving its efficiency, ensuring security, etc. Known approaches to solving the problem of the complex distributed CPS actual status definition are not enough effective. The authors propose a model based approach to solving the task of monitoring the status of complex CPS. There are a number of known model based approaches to complex distributed CPS monitoring, but their main difference in comparison with the suggested one is that known approaches by the most part use static models which are to be build manually by experts. It takes a lot of human efforts and often results in errors. Our idea is that automata models of structure and behavior of the observed system are used and both of these models are built and kept in actual state in automatic mode on the basis of log file information. The proposed approach is based, on one hand, on the results of the authors researches in the field of automatic synthesis of multi-level automata models of observed systems and, on the other hand, on well known algorithms of process mining. In the paper typical monitoring tasks are described and generalized algorithms for solving them using the proposed system of models are presented. An example of real life systems based on the suggested approach is given. The approach can be recommended to use for building CPS of medium and high complexity, characterized by high structural dynamics and cognitive behavior.

This article discusses an approach to the development of large-scale cognitive cyber-physical systems characterized by a high level of structural, functional and architectural dynamics. The main idea of the proposed approach is the use of several modern paradigms to build cyber-physical systems, such as continuous architecture, agile architecture, digital twins and digital threads. A three-level model of a cognitive cyber-physical system is proposed. In order to ensure the required level of flexibility of the system, such possibility should be laid at earlier stages of the life cycle, i.e., at the development stage. At the upper level, the system is described in terms of a continuous architecture; at the middle level, the system is represented as a system with agile architecture, which is described as a multi-level relatively finite automaton, and at the lower level, structural and functional models are used that illustrate the system in the process of functioning. This article provides examples of using the proposed approach.

The article describes an approach to the construction of complex distributed cyber-physical systems with a high level of architectural dynamics built on fog and edge computing platforms. The key idea of the developed approach is to use digital twins as dynamic models of the observed and managed systems, which are kept up-to-date by processing the event flow received in the form of logs. A reference architecture of a dynamic runtime digital twin is proposed. The possible approaches to synthesis of models that form the basis of digital twins are discussed. Examples of using the proposed approach to solve practical problems are given. The described approach may be of interest to specialists engaged in research and development of different kinds of information systems realized on 1 the IoT platforms such as smart cities, smart transport, medical information systems, etc.