Application of predicate logic for failure detection in SCADA systems

• Veröffentlicht in: Штучний інтелект
• Datum: 2017
• Hauptverfasser: Alekseyev, M., Udovyk, I., Syrotkina, O.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2017
• Schlagworte: Прикладні інтелектуальні технології та системи
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/162349
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: 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...