Application of predicate logic for failure detection in SCADA systems
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...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2017 |
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/162349 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862709501862346752 |
|---|---|
| author | Alekseyev, M. Udovyk, I. Syrotkina, O. |
| author_facet | Alekseyev, M. Udovyk, I. Syrotkina, O. |
| citation_txt | Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | 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 в умовах неповних даних / недостовірних даних.
|
| first_indexed | 2025-12-07T17:18:09Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-162349 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | English |
| last_indexed | 2025-12-07T17:18:09Z |
| publishDate | 2017 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Alekseyev, M. Udovyk, I. Syrotkina, O. 2020-01-07T11:32:45Z 2020-01-07T11:32:45Z 2017 Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/162349 681.518.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 в умовах неповних даних / недостовірних даних. en Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Прикладні інтелектуальні технології та системи Application of predicate logic for failure detection in SCADA systems Застосування логіки предикатів для виявлення відмов у SCADA система Article published earlier |
| spellingShingle | Application of predicate logic for failure detection in SCADA systems Alekseyev, M. Udovyk, I. Syrotkina, O. Прикладні інтелектуальні технології та системи |
| title | Application of predicate logic for failure detection in SCADA systems |
| title_alt | Застосування логіки предикатів для виявлення відмов у SCADA система |
| title_full | Application of predicate logic for failure detection in SCADA systems |
| title_fullStr | Application of predicate logic for failure detection in SCADA systems |
| title_full_unstemmed | Application of predicate logic for failure detection in SCADA systems |
| title_short | Application of predicate logic for failure detection in SCADA systems |
| title_sort | application of predicate logic for failure detection in scada systems |
| topic | Прикладні інтелектуальні технології та системи |
| topic_facet | Прикладні інтелектуальні технології та системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/162349 |
| work_keys_str_mv | AT alekseyevm applicationofpredicatelogicforfailuredetectioninscadasystems AT udovyki applicationofpredicatelogicforfailuredetectioninscadasystems AT syrotkinao applicationofpredicatelogicforfailuredetectioninscadasystems AT alekseyevm zastosuvannâlogíkipredikatívdlâviâvlennâvídmovuscadasistema AT udovyki zastosuvannâlogíkipredikatívdlâviâvlennâvídmovuscadasistema AT syrotkinao zastosuvannâlogíkipredikatívdlâviâvlennâvídmovuscadasistema |