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

Qualitative analysis of autonomous synchronous binary dynamic systems

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

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

Том: 10

Номер: 3

Год: 2019

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

Издательство:

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

URL:

Аннотация: 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: 0

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

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

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

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