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 are based on the characteristic functions of three-valued logic. We determine the predicate system of knowledge representation to implement the method of SCADA diagnostics in the event of incomplete data. Розглядається задача виявлення та локалізації відмов у SCADA на основі аналізу зміни стану інформаційних потоків у системі. Пропонується структурно-логічна модель опису SCADA будь-якої топології. На основі характеристичних функцій тризначної логіки формуються діагностичні ознаки виявлення незалежної відмови. Визначається предикатна система подання знань для реалізації методу діагностики працездатності SCADA в умовах неповних даних / недостовірних даних.