Output Feedback Control for Set Stabilization of Boolean Control Networks

In this paper, the output feedback set stabilization problem for Boolean control networks (BCNs) is investigated with the help of the semi-tensor product (STP) tool. The concept of output feedback control invariant (OFCI) subset is introduced, and novel methods are developed to obtain the OFCI subsets. Based on the OFCI subsets, a technique, named spanning tree method, is further introduced to calculate all possible output feedback set stabilizers. An example concerning lac operon for the bacterium Escherichia coli is given to illustrate the effectiveness of the proposed method. This technique can also be used to solve the state feedback (set) stabilization problem for BCNs. Compared with the existing results, our method can dramatically reduce the computational cost when designing all possible state feedback stabilizers for BCNs.