Set controllability of Markov jump switching Boolean control networks and its applications (Q2158870)

In this paper, a novel technique is presented to investigate the set controllability of Markov jump switching Boolean control networks (MJSBCNs). Here the switching signal is described as a discrete-time homogeneous Markov chain. By resorting to the expectation and switching indicator function, an expectation system is constructed. Based upon the expectation system, a novel verifiable condition is established for solving the set reachability of MJSBCNs. With the obtained results on set reachability, a necessary and sufficient condition is further set up for the set controllability of MJSBCNs. The obtained results are applied to Boolean control networks with Markov jump time delays. Examples are also demonstrated to justify the theoretical results.