Страница публикации

Investigation of observability property of controlled binary dynamical systems: A logical approach

Авторы: Oparin G.A., Bogdanova V.G., Pashinin A.A.

Журнал: CEUR Workshop Proceedings: 3rd Intern. Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021 (Irkutsk, 5-9 July 2021)

Том: 2913


Год: 2021

Отчётный год: 2021


Местоположение издательства:


Аннотация: The property of observability of controlled binary dynamical systems is investigated. A formal definition of the property is given in the language of applied logic of predicates with bounded quantifiers of existence and universality. A Boolean model of the property is built in the form of a quantified Boolean formula accordingly to the Boolean constraints method developed by the authors. This formula satisfies both the logical specification of the property and the equations of the binary system dynamics. Aspects of the proposed approach implementation for the study of the observability property are considered. The technology of checking the feasibility of the property using an applied microservice package is demonstrated in several examples.

Индексируется WOS: 0

Индексируется Scopus: 1

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: