Application of predicate logic for failure detection in SCADA systems

• Published in: Штучний інтелект
• Date: 2017
• Main Authors: Alekseyev, M., Udovyk, I., Syrotkina, O.
• Format: Article
• Language: English
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2017
• Subjects: Прикладні інтелектуальні технології та системи
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/162349
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ.

We consider the task of failure detection and localization. It is based on the analysis of the information flow state change in the system. We suggest a structural and logical model to describe SCADA of any topology. It is possible to form diagnostic features of independent failure detection. They a...