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...
Збережено в:
| Опубліковано в: : | Штучний інтелект |
|---|---|
| Дата: | 2017 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/162349 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-162349 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Application of predicate logic for failure detection in SCADA systems |
| spellingShingle |
Application of predicate logic for failure detection in SCADA systems Alekseyev, M. Udovyk, I. Syrotkina, O. Прикладні інтелектуальні технології та системи |
| title_short |
Application of predicate logic for failure detection in SCADA systems |
| 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_sort |
application of predicate logic for failure detection in scada systems |
| author |
Alekseyev, M. Udovyk, I. Syrotkina, O. |
| author_facet |
Alekseyev, M. Udovyk, I. Syrotkina, O. |
| topic |
Прикладні інтелектуальні технології та системи |
| topic_facet |
Прикладні інтелектуальні технології та системи |
| publishDate |
2017 |
| language |
English |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Застосування логіки предикатів для виявлення відмов у SCADA система |
| 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 в умовах неповних даних / недостовірних даних.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/162349 |
| citation_txt |
Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ. |
| 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 |
| first_indexed |
2025-12-07T17:18:09Z |
| last_indexed |
2025-12-07T17:18:09Z |
| _version_ |
1850870741553119233 |