Stability of Logical Dynamic Systems With a Class of Constrained Switching

In this paper, a novel constrained switching rule, called "time-triggered logical switching" (TTLS) is considered for switched logical dynamic systems (SLDSs). Compared with the general time-triggered switching, the activation mode of TTLS cannot be arbitrary and is pre-allocated according to the logic operation, which is more practical. The TTLS is described as an LDS, and according to the characteristics of LDS, the stability analysis of SLDSs with TTLS is converted into the stability analysis of SLDSs under the logical switching cycle sequences. Firstly, based on the equivalent algebraic form of SLDSs with TTLS, combining the Lyapunov theory of LDS with average dwell-time method, several sufficient conditions are put forward for ensuring the point stability of the considered SLDSs. Then, by defining the switching cycle invariant subset and constructing a new system, the set stability analysis of the original system is transformed into the point stability analysis of the new system, and further, the obtained results for the point stability analysis are applied to the set stability analysis. At last, the validity of obtained results is illustrated by simulation on gene and protein signaling activity patterns.