Application of predicate logic for failure detection in SCADA systems

dc.contributor.author	Alekseyev, M.
dc.contributor.author	Udovyk, I.
dc.contributor.author	Syrotkina, O.
dc.date.accessioned	2020-01-07T11:32:45Z
dc.date.available	2020-01-07T11:32:45Z
dc.date.issued	2017
dc.identifier.citation	Application of predicate logic for failure detection in SCADA systems / M. Alekseyev, I. Udovyk, O. Syrotkina // Штучний інтелект. — 2017. — № 3-4. — С. 150-157. — Бібліогр.: 5 назв. — англ.	uk_UA
dc.identifier.issn	1561-5359
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/162349
dc.description.abstract	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.	uk_UA
dc.description.abstract	Розглядається задача виявлення та локалізації відмов у SCADA на основі аналізу зміни стану інформаційних потоків у системі. Пропонується структурно-логічна модель опису SCADA будь-якої топології. На основі характеристичних функцій тризначної логіки формуються діагностичні ознаки виявлення незалежної відмови. Визначається предикатна система подання знань для реалізації методу діагностики працездатності SCADA в умовах неповних даних / недостовірних даних.	uk_UA
dc.language.iso	en	uk_UA
dc.publisher	Інститут проблем штучного інтелекту МОН України та НАН України	uk_UA
dc.relation.ispartof	Штучний інтелект
dc.subject	Прикладні інтелектуальні технології та системи	uk_UA
dc.title	Application of predicate logic for failure detection in SCADA systems	uk_UA
dc.title.alternative	Застосування логіки предикатів для виявлення відмов у SCADA система	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.518.5