Dynamics of controlled asynchronous Boolean networks

Abstract

For an asynchronous Boolean network with step-by-step updating only one state vector variable, a Boolean dynamic model was built with the update schedule control over a finite time. Following the authors' method of Boolean constraints, constructive methods were obtained for studying various attractor types in terms of Boolean models of their dynamic properties. The most important for practice property of controllability concerning initial and target states is considered. Illustrative examples demonstrating the technology for using the obtained theoretical results are given.