{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:53:36Z","timestamp":1760237616691,"version":"build-2065373602"},"reference-count":44,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T00:00:00Z","timestamp":1591488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers"],"abstract":"<jats:p>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\u2013Physical 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.<\/jats:p>","DOI":"10.3390\/computers9020047","type":"journal-article","created":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T04:19:39Z","timestamp":1591676379000},"page":"47","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Model Based Approach to Cyber\u2013Physical Systems Status Monitoring"],"prefix":"10.3390","volume":"9","author":[{"given":"Alexander","family":"Vodyaho","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering Saint Petersburg Electrotechnical University, \u201cLETI\u201d (ETU), 197376 St. Petersburg, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9931-463X","authenticated-orcid":false,"given":"Saddam","family":"Abbas","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering Saint Petersburg Electrotechnical University, \u201cLETI\u201d (ETU), 197376 St. Petersburg, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5877-4461","authenticated-orcid":false,"given":"Nataly","family":"Zhukova","sequence":"additional","affiliation":[{"name":"Saint-Petersburg Institute for Information and Automation RAS, 199178 St. Petersburg, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3897-5068","authenticated-orcid":false,"given":"Michael","family":"Chervoncev","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering Saint Petersburg Electrotechnical University, \u201cLETI\u201d (ETU), 197376 St. Petersburg, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,6,7]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/JSYST.2014.2322503","article-title":"Design Techniques and Applications of Cyber Physical Systems: A Survey","volume":"9","author":"Khaitan","year":"2014","journal-title":"IEEE Syst. J."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Sanfelice, R. (2016). Analysis and Design of Cyber-Physical Systems. A Hybrid Control Systems Approach. Cyber-Physical Systems: From Theory to Practice, CRC Press.","DOI":"10.1201\/b19290-3"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Endsley, M. (2016). Designing for Situation Awareness: An Approach to User-Centered Design, CRC Press.","DOI":"10.1201\/b11371"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/s10916-018-0943-4","article-title":"Systematic review of real-time remote health monitoring system in triage and priority-based sensor technology: Taxonomy, open challenges, motivation and recommendations","volume":"5","author":"Albahri","year":"2018","journal-title":"J. Med. Syst."},{"key":"ref_5","unstructured":"Nasle, A. (2017). Real-Time Predictive Systems for Intelligent Energy Monitoring and Management of Electrical Power Networks. (US9557723B2), U.S. Patent."},{"key":"ref_6","first-page":"75","article-title":"Towards building of cable TV content-sensitive adaptive monitoring and management systems","volume":"11","author":"Osipov","year":"2017","journal-title":"Int. J. Comput. Commun."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.eswa.2015.11.025","article-title":"Theoretical model and implementation of a real time intelligent bin status monitoring system using rule based decision algorithms","volume":"48","author":"Mamun","year":"2016","journal-title":"Expert Syst. Appl."},{"key":"ref_8","first-page":"75","article-title":"Sonyc: A system for the monitoring, analysis and mitigation of urban noise pollution","volume":"11","author":"Bello","year":"2018","journal-title":"Commun. ACM"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Ali, F., Aloqaily, M., Alfandi, O., and Ozkasap, O. (2020). Cyberphysical Blockchain-Enabled Peer-to-Peer Energy Trading. arXiv.","DOI":"10.1109\/MC.2020.2991453"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MNET.001.1900103","article-title":"Blockchain for Managing Heterogeneous Internet of Things: A Perspective Architecture","volume":"34","author":"Tseng","year":"2020","journal-title":"IEEE Netw."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1007\/s10845-015-1180-z","article-title":"Cyber physical process monitoring systems","volume":"29","author":"Morgan","year":"2018","journal-title":"J. Intell. Manuf."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Calinescu, R.C., Camara Moreno, J., and Paterson, C. (2019, January 28). Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges. Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, Montreal, QC, Canada.","DOI":"10.1109\/SEsCPS.2019.00008"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Pankratova, N. (2018). Creation of Physical Models for Cyber-Physical Systems. Cyber-Physical Systems and Control. Lecture notes in Networks and Systems, Springer Nature AG.","DOI":"10.1007\/978-3-030-34983-7_6"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Nguyen, T. (2017, January 16\u201318). A modeling and simulation based engineering approach for socio-cyber-physical systems. Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC), Calabria, Italy.","DOI":"10.1109\/ICNSC.2017.8000176"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Anda, A. (2018, January 20\u201324). Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML. Proceedings of the IEEE 26th International Requirements Engineering Conference, Banff, AB, Canada.","DOI":"10.1109\/RE.2018.00059"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.future.2016.06.019","article-title":"System modeling and performance evaluation of a three-tier cloud of things","volume":"70","author":"Li","year":"2017","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"32","DOI":"10.3103\/S0005105519010084","article-title":"Cognitive Monitoring of Distributed Objects","volume":"53","author":"Zhukova","year":"2019","journal-title":"Autom. Doc. Math. Linguist."},{"key":"ref_18","first-page":"1","article-title":"40 years of cognitive architectures: Core cognitive abilities and practical applications","volume":"52","author":"Kotseruba","year":"2018","journal-title":"Artif. Intell. Rev."},{"key":"ref_19","unstructured":"Rozanski, N., and Woods, E. (2012). Software Systems Architecture. Working with Stakeholders Using Viewpoints and Perspectives, Addison-Wesley."},{"key":"ref_20","unstructured":"Babar, M.A., Brown, A.W., and Mistrik, I. (2014). Agile Software Architecture, Elsevier Inc."},{"key":"ref_21","unstructured":"Okhtilev, M.Y., Sokolov, B.V., and Yusupov, R.M. (2005). Intelligent Technologies of Status Monitoring and Control of the Structure of Complex Technical Objects, Nauka."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1134\/S0361768816030063","article-title":"Automatic Synthesis of Action Programs for Intelligent Robots","volume":"42","author":"Osipov","year":"2016","journal-title":"Program. Comput. Softw."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Osipov, V., Stankova, E., Vodyaho, A., Lushnov, M., Shichkina, Y., and Zhukova, N. (2019). Automatic Synthesis of Multilevel Automata Models of Biological Objects. International Conference on Computational Science and Its Applications, Springer Nature AG.","DOI":"10.1007\/978-3-030-24296-1_35"},{"key":"ref_24","first-page":"17","article-title":"About one approach to multilevel behavioral program synthesis for television devices","volume":"11","author":"Osipov","year":"2017","journal-title":"Int. J. Comput. Commun."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/2500000010","article-title":"Program synthesis","volume":"4","author":"Gulwani","year":"2017","journal-title":"Found. Trends Program. Lang."},{"key":"ref_26","unstructured":"Iyengar, S., and Brooks, R. (2012). Distributed Sensor Networks, Taylor and Francis."},{"key":"ref_27","unstructured":"Hwang, K., Fox, G., and Dongarra, J. (2012). Distributed and Cloud Computing. From Parallel Processing to the Internet of Things, Morgan Kaufmann."},{"key":"ref_28","unstructured":"ITIL (2020, April 29). IT Service Management. Available online: https:\/\/www.axelos.com\/best-practice-solutions\/itil."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Dumas, M., La Rosa, M., Mendling, J., and Reijers, H. (2018). Fundamentals of Business Process Management, Springer. [2nd ed.].","DOI":"10.1007\/978-3-662-56509-4"},{"key":"ref_30","unstructured":"Blasch, E., Bosse, E., and Lambert, D. (2012). High-Level Information Fusion Management and System Design, Artech House Publishers."},{"key":"ref_31","unstructured":"Liggins, M., Hall, D., and Llinas, J. (2009). Hall The title of the cited contribution. Handbook of Multisensor Data Fusion: Theory and Practice, Taylor and Francis Group."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"2099","DOI":"10.1016\/j.ins.2006.12.026","article-title":"Cognitive high level information fusion","volume":"177","author":"Perlovsky","year":"2007","journal-title":"Inf. Sci."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Huang, J., and Hua, K. (2016). Managing the Internet of Things: Architectures, Theories and Applications, The Institution of Engineering and Technology.","DOI":"10.1049\/PBTE067E"},{"key":"ref_34","first-page":"1","article-title":"Industry 4.0: A Survey on Technologies, Applications and Open Research Issues","volume":"6","author":"Lu","year":"2017","journal-title":"J. Ind. Inf. Integr."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.compind.2018.04.015","article-title":"The industrial internet of things (IIoT): An analysis framework","volume":"101","author":"Boyes","year":"2018","journal-title":"Comput. Ind."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/JIOT.2016.2579198","article-title":"Edge Computing: Vision and Challenges","volume":"3","author":"Shi","year":"2016","journal-title":"IEEE Internet Things J."},{"key":"ref_37","unstructured":"IEEE Standard Association (2020, April 29). FOG\u2014Fog Computing and Networking Architecture Framework. Available online: http:\/\/standards.ieee.org\/develop\/wg\/FOG.html."},{"key":"ref_38","unstructured":"(2020, April 29). XES Schema Definition. Available online: http:\/\/www.xes-standard.org\/."},{"key":"ref_39","unstructured":"Erl, T. (2008). SOA: Principles of Service Design, Prentice Hall."},{"key":"ref_40","unstructured":"Newman, S. (2015). Building Microservices, O\u2019Reilly."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Santi, P. (2005). Topology Control in Wireless Ad Hoc and Sensor Networks, John Wiley and Sons Ltd.","DOI":"10.1002\/0470094559"},{"key":"ref_42","unstructured":"Gonzalez, L., Ferrer, B., Xu, X., Lobov, A., and Lastra, J. (2020, April 29). Knowledge-Driven Finite-State Machines. Study Case in Monitoring Industrial Equipment. Available online: https:\/\/www.researchgate.net\/publication\/306236139."},{"key":"ref_43","unstructured":"von Rosing, M., Laurier, W., and Polovina, S. (2020, April 29). The BPM Ontology. Available online: https:\/\/www.researchgate.net\/publication\/272175070_The_BPM_Ontology."},{"key":"ref_44","unstructured":"Klimov, N., Zhukova, N., and Andriyanova, N. (2019, January 8\u201312). Program System for Object Models Deductive Synthesis. Proceedings of the 24th Conference of Open Innovations Association FRUCT, Moscow, Russia."}],"container-title":["Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-431X\/9\/2\/47\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T09:36:26Z","timestamp":1760175386000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-431X\/9\/2\/47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,7]]},"references-count":44,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2020,6]]}},"alternative-id":["computers9020047"],"URL":"https:\/\/doi.org\/10.3390\/computers9020047","relation":{},"ISSN":["2073-431X"],"issn-type":[{"type":"electronic","value":"2073-431X"}],"subject":[],"published":{"date-parts":[[2020,6,7]]}}}