Stabilization of Boolean control networks with state-triggered impulses
Stabilization of Boolean control networks with state-triggered impulses作者机构:School of Automation Central South University Department of Applied Mathematics University of Waterloo
出 版 物:《Science China(Information Sciences)》 (中国科学:信息科学(英文版))
年 卷 期:2022年第65卷第3期
页 面:123-137页
核心收录:
学科分类:0711[理学-系统科学] 07[理学] 08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 071102[理学-系统分析与集成] 081103[工学-系统工程]
基 金:supported by National Natural Science Foundation of China (Grant Nos. 61873284,61321003) NSERC Canada
主 题:Boolean control networks set stabilization state-triggered impulses hybrid-index model semi-tensor product of matrices
摘 要: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.