2025-02-23T00:43:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-162349%22&qt=morelikethis&rows=5
2025-02-23T00:43:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-162349%22&qt=morelikethis&rows=5
2025-02-23T00:43:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T00:43:34-05:00 DEBUG: Deserialized SOLR response

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Alekseyev, M., Udovyk, I., Syrotkina, O.
Format: Article
Language:English
Published: Інститут проблем штучного інтелекту МОН України та НАН України 2017
Series:Штучний інтелект
Subjects:
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/162349
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.