Stabilization of Boolean control networks with state-triggered impulses  

作　　者：Rongpei ZHOU Yuqian GUO Xinzhi LIU Weihua GUI 

机构地区：[1]School of Automation,Central South University,Changsha 410083,China [2]Department of Applied Mathematics,University of Waterloo,Waterloo N2L 3G1,Canada

出　　处：《Science China(Information Sciences)》2022年第3期119-133,共15页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China (Grant Nos. 61873284,61321003);NSERC Canada。

摘　　要：Previously, impulses were used to model abrupt changes in dynamic biological systems. This paper introduces a hybrid-index model that can characterize instantaneity of the impulsive behavior more effectively, compared with the existing impulsive Boolean network models. Using the hybrid-index model,we investigate the set stabilization of Boolean control networks with state-triggered impulses in the hybriddomain and the time-domain. We establish necessary and sufficient conditions for set stabilizability in the hybrid and time domains, using the methods of k-domain and quotient mapping, respectively. Further, we obtain algorithms for constructing all hybrid-optimal and time-optimal set stabilizers by partitioning the state space into layers. The relationships between different set stabilizabilities are summarized. In addition,we have shared two examples to demonstrate the main results.

关 键 词：Boolean control networks set stabilization state-triggered impulses hybrid-index model semi-tensor product of matrices 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]