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

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)

Язык публикации: english

Серия книг: CEUR Workshop Proceedings

Том: 2913

Номера страниц: 129-138

Количество страниц: 10

Год публикации: 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: Нет

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет