Synchronization of state-dependent switched Boolean networks

This paper investigates the complete synchronization of two state-dependent switched Boolean networks (SBNs) coupled in the drive-response configuration. First, an algebraic express is given for the state-dependent SBNs by using the semi-tensor product. Second, a new state variable is defined to characterize the synchronization information via coordinate transformation. Based on it, a necessary and sufficient condition is presented for the complete synchronization of the system. Moreover, the upper bound of time to check the criterion is given. Finally, an example is given to illustrate the efficiency of the obtained results.