This study is based on the Boolean constraint method and allows the finding of evolutionary parameters of system states (such as, for example, radius, period, ...
This study is based on the Boolean constraint method and allows the finding of evolutionary parameters of system states (such as, for example, radius, period, ...
We use an approach to study binary dynamic systems on a finite time interval based on the author's method of Boolean constraints. Based on this method, the ...
Jul 23, 2024 · Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method. MIPRO 2020 ...
Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method. MIPRO 2020: 1904-1909. [+][–] ...
Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method. Proceedings of the 43rd ...
The essence of the method is to reduce the problems under consideration to solving SAT or 2QBF problems by constructing a Boolean model of a dynamic property.
Missing: approach attractors
The developed microservices are integrated into the applied microservices package. This package is intended for the qualitative study of binary dynamic systems.
Abstract. The article proposes a method based on using binary dynamical systems in the classification problem for Boolean vectors (binary feature vectors).
In particular, binary dynamic systems are studied using the Boolean constraint method for both their qualitative analysis and synthesis of laws to control ...