Страница публикации
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
Добавил в систему: