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

A logical approach to qualitative analysis of controlled nonlinear binary dynamic systems

Тип публикации: Статья в журнале

Тип материала: Текст

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

Журнал: Mathematics in Engineering, Science and Aerospace

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

Том: 13

Номера страниц: 1-9

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

Номер: 1

Год публикации: 2022

Отчетный год: 2022

Аннотация: The problems of a qualitative study of the trajectories behavior dynamics of controlled nonlinear binary dynamic systems on a finite time interval are considered using the method of Boolean constraints. Models of local dynamic properties, the trajectories periodicity property, and controllability type properties are obtained in the form of Boolean constraints. Depending on the property, the verification of Boolean constraints is reduced to the Boolean satisfiability problem or the problem of verifying the truth of a quantified Boolean formula.

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

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

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

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

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

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