Minimum‐Time State Feedback Stabilization of Constrained Boolean Control Networks

The stability of Boolean networks and the stabilization of Boolean control networks are investigated. Using semi-tensor product of matrices and the matrix expression of logic, the dynamics of a Boolean (control) network can be converted to a discrete time linear (bilinear) dynamics, called the algebraic form of the Boolean (control) network. They provide a framework for this study. Main results consist of two parts: (i) Using logic coordinate transformation, the known sufficient condition based on incidence matrix has been improved. It is also used in stabilizer design. (ii)Based on algebraic form, necessary and sufficient conditions for stability of Boolean networks and stabilization of Boolean control networks respectively are obtained.

The paper deals with problems on the stability and stabilization of Boolean networks with respect to a given part of variables characterizing the Boolean network. Using the semi-tensor product of matrices and the matrix expression of logic, the dynamics of a Boolean (control) network can be converted to discrete time linear (bilinear) dynamics called the algebraic form of the Boolean (control) network. The two main results are as follows: (i) From the algebraic form of a Boolean (control) network, two partial stability definitions are introduced. One is partial stability with respect to another variable set, and the other is partial stability with respect to arbitrary initial states. (ii) Based on the algebraic form, necessary and sufficient conditions for the stability of global partial states with respect to the variable set and arbitrary initial states are obtained. Examples are provided to illustrate the effectiveness of our results.

The traditional set stability of Boolean networks (BNs) refers to whether all the states can converge to a given state subset. Different from the existing results, the set stability investigated in this paper is whether all states in a given initial set can converge to a given destination set. This paper studies the set stability and set stabilization avoiding undesirable sets of BNs and Boolean control networks (BCNs), respectively. First, by virtue of the semi-tensor product (STP) of matrices, the dynamics of BNs avoiding a given undesirable set are established. Then, the set reachability and set stability of BNs from the initial set to destination set avoiding an undesirable set are investigated, respectively. Furthermore, the set stabilization of BCNs from the initial set to destination set avoiding a given undesirable set are investigated. Finally, a design method for finding the time optimal set stabilizer is proposed, and an example is provided to illustrate the effectiveness of the results.

Further results on feedback stabilization control design of Boolean control networks

The ring structure and Boolean variables are investigated and they are used to define the product of Boolean matrices. The logical operators have also been extended to the operators on Boolean matrices. Based on these, the vector distance between Boolean matrices is defined. Some properties are revealed. Finally, the vector distance is used to the analysis of the stability of Boolean networks and the stabilization of Boolean control networks.

Nominal Boolean network is a kind of Boolean network, which is obtained from a Boolean control network with all controls disconnected. In this paper, the relationship between the transition matrix of the original Boolean control network and the transition matrix of the corresponding nominal Boolean control network is investigated. Due to the fact that transition matrices can be derived from structure matrices, the relationship between structure matrices of the original Boolean control network and structure matrices of the nominal Boolean network is studied. Via constant values corresponding to disconnected controls, structure matrices of the nominal Boolean network can be derived from structure matrices of the original Boolean control network. Finally, a concrete algorithm is presented to derive transition matrices of nominal Boolean networks.

Controllability and observability of Boolean control networks subject to stuck-at fault

Controllability and stabilization of periodic switched Boolean control networks with application to asynchronous updating

On the ensemble controllability of Boolean control networks using STP method

State-flipped control design for the stabilization of probabilistic Boolean control networks.

State feedback controller design for synchronization of master–slave Boolean networks based on core input-state cycles

Controllability and observability of singular Boolean control networks are proposed in this paper from its algebraic form via semi-tensor product. First, the input-state incidence matrix of singular Boolean control networks is presented based on which the generalized input-state incidence matrix is also defined. Second, a necessary and sufficient condition for the controllability of singular Boolean control networks is given, as well as an algorithm to design controls which drive a state to a reachable state. At last, similar to Boolean control networks, a sufficient condition of observability of singular Boolean control networks is obtained.

This paper is concerned with the topological structure, reachability, and stabilization for Boolean control networks (BCNs) with state constraints via event-triggered control (ETC) scheme. In the first part, the topological structure of BCNs with state constraints is studied. Under the framework of state constrain, the definitions of fixed point and cycle are first defined. A novel phenomenon is that there may exist two kinds constrained fixed points, which are, respectively, named as the livelock and deadlock ones. It is different with the traditional fixed point. Accordingly, a formula is presented to calculate the number of constrained fixed points and constrained cycles. In the second part, the constrained reachability and stabilization problem of the event-triggered controlled BCNs are investigated. Two necessary and sufficient criteria are, respectively, obtained. Furthermore, an algorithm is developed to design all feasible controllers. Finally, a reduced model of the lac operon in the Escherichia coli is shown to illustrate the efficiency of the obtained results.

In this article, the controllability of asynchronous Boolean control networks (ABCNs) with time-invariant delay is studied. Using semi-tensor product, Boolean control networks under Harvey’s asynchronous update with time delay are converted into linear representation, and a general formula of control-depending network transition matrices is achieved. Firstly, a necessary and sufficient condition is proposed to verify that only control-depending fixed points of ABCNs can be deterministically controlled. Secondly, respectively for three kinds of controls, the controllability of the non-deterministic logical dynamics is investigated, and formulas are given to show: a) the reachable sets at time s under a group of specified controls; b) the reachable sets at time s under arbitrary controls and c) the probability values from a given initial state to different target states. Moreover, we also discuss how to find the particular control sequence to reach a specified target state with the maximum probability. Examples are shown to illustrate the feasibility of the proposed scheme.

Disturbance decoupling of Boolean networks via robust indistinguishability method