Solvability and control design for synchronization of Boolean networks

This paper addresses the synchronization problem of Boolean networks. Based on the matrix expression of logic, solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control. Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure. Then sufficient condition for the feedback control case is obtained, and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations. Numerical examples are also provided to illustrate the proposed control design.