Qualitative analysis of the dynamics of controlled singular logic networks

Abstract

Using the Boolean constraint method, we consider dynamics and control problems on a finite time interval for controlled singular Boolean networks. The models of local dynamical properties, periodicity properties of trajectories, and properties of controllability type are obtained as Boolean constraints. Depending on the property, the Boolean constraints solvability is reduced to the Boolean satisfiability problem or problem of verifying the truth of a quantified Boolean formula. The proposed approach is focused on systems with a high dimension of state and control vectors and a large interval of discrete time variation. The software implementation of the proposed approach is performed using a microservice architecture and is aimed at application in a high-performance hybrid computing environment.