Lyapunov-Based Approach to Sampled-Data Set Stabilization of Constrained Boolean Control Networks

Lyapunov functions for sampled-data set stabilization of constrained Boolean control networks (BCNs) are investi-gated in this paper. The main mathematical tool is semi-tensor product of matrices, which is used to convert the dynamics of constrained BCNs under nonuniform sampled-data control (SDC) into a switched Boolean network (BN). Using the techniques of Lyapunov function and average dwell time, several sufficient conditions are proposed for the global set stability of switched BN. The obtained results are applied to the Battle of Sex with 2-memory.