Controller design for disturbance decoupling of Boolean control networks

We investigate a type of disturbance decoupling problem (DDP) of Boolean control networks. Using the semi-tensor product of matrices, the dynamics of a Boolean control network is expressed in its algebraic form. Under the framework of output-friendly subspace, we give a necessary and sufficient condition for the solvability of DDP by analyzing the redundant variables, and we present a computationally feasible method to construct all the valid feedback control matrices. The logical functions of each controller can be recovered from the obtained feedback control matrix. Finally, an example is provided to show the effectiveness of the proposed method.