Advanced Technology for Cyber-Physical System Monitoring

Abstract

In the chapter, the problem of cyber-physical systems monitoring based on the processing and evaluation of the data received from the observed objects is considered. The main attention is paid to finding a suitable way to reduce the synthesis complexity of the observed objects models and monitoring processes. The authors propose a multilevel automatic synthesis technology that formalizes such models to multilevel relatively finite automata. The architecture of cyber-physical monitoring systems using this technology is presented.