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
Автори:	Alekseyev, M., Udovyk, I., Syrotkina, O.
Формат:	Стаття
Мова:	English
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2017
Назва видання:	Штучний інтелект
Теми:	Прикладні інтелектуальні технології та системи
Онлайн доступ:	http://dspace.nbuv.gov.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	irk-123456789-162349
record_format	dspace
spelling	irk-123456789-1623492020-01-08T01:25:37Z Application of predicate logic for failure detection in SCADA systems Alekseyev, M. Udovyk, I. Syrotkina, O. Прикладні інтелектуальні технології та системи 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 в умовах неповних даних / недостовірних даних. 2017 Article Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/162349 681.518.5 en Штучний інтелект Інститут проблем штучного інтелекту МОН України та НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	English
topic	Прикладні інтелектуальні технології та системи Прикладні інтелектуальні технології та системи
spellingShingle	Прикладні інтелектуальні технології та системи Прикладні інтелектуальні технології та системи Alekseyev, M. Udovyk, I. Syrotkina, O. Application of predicate logic for failure detection in SCADA systems Штучний інтелект
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.
format	Article
author	Alekseyev, M. Udovyk, I. Syrotkina, O.
author_facet	Alekseyev, M. Udovyk, I. Syrotkina, O.
author_sort	Alekseyev, M.
title	Application of predicate logic for failure detection in SCADA systems
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
publisher	Інститут проблем штучного інтелекту МОН України та НАН України
publishDate	2017
topic_facet	Прикладні інтелектуальні технології та системи
url	http://dspace.nbuv.gov.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 назв. — англ.
series	Штучний інтелект
work_keys_str_mv	AT alekseyevm applicationofpredicatelogicforfailuredetectioninscadasystems AT udovyki applicationofpredicatelogicforfailuredetectioninscadasystems AT syrotkinao applicationofpredicatelogicforfailuredetectioninscadasystems
first_indexed	2023-10-18T22:08:52Z
last_indexed	2023-10-18T22:08:52Z
_version_	1796154753550385152

Application of predicate logic for failure detection in SCADA systems

Репозитарії

Схожі ресурси