Qualitative analysis of autonomous synchronous binary dynamic systems

Abstract

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.