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

Qualitative analysis of autonomous synchronous binary dynamic systems

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

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

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

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

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

Том: 10

Номера страниц: 407-419

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

Номер: 3

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

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

Аннотация: A new method for qualitative analysis of various properties of trajectories behavior of autonomous synchronous binary dynamic systems (Boolean networks) on a finite time interval is proposed. This method is based on the construction of a dynamic property model in the form of a Boolean constraint that satisfies the logical specification of the property and the equations of dynamics of a binary system. Reachability property study based on Boolean constraints method is the main topic in this research.

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

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

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

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

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

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