Bisimulation-based stabilization of probabilistic Boolean control networks with state feedback control

作     者：Nan JIANG Chi HUANG Yao CHEN Jürgen KURTHS Nan JIANG;Chi HUANG;Yao CHEN;Jürgen KURTHS

作者机构：School of Economic Information EngineeringSouthwestern University of Finance and EconomicsChengdu 611130China School of MathematicsSoutheast UniversityNanjing 210096China Potsdam Inslxtute for Climate Impact ResearchPotsdam 14412Germany Department of PhystcsHumboldt-Universitcit zu BerlinBerlin 12489Germany Samtov State UniversitySaratov 410012Russia 

出 版 物：《Frontiers of Information Technology & Electronic Engineering》 (信息与电子工程前沿（英文版）)

年 卷 期：2020年第21卷第2期

页      面：268-280页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 07[理学] 08[工学] 071102[理学-系统分析与集成] 0810[工学-信息与通信工程] 0711[理学-系统科学] 0839[工学-网络空间安全] 0835[工学-软件工程] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081103[工学-系统工程] 

基　　金：Project supported by the National Natural Science Foundation of China(Nos.61603268 and 61773319) the Fundamental Research Funds for the Central Universities,China(No.JBK190502) 

主　　题：Probabilistic Boolean control network Bisimulation Stabilization with probability one State feedback control 

摘      要：This study is concerned with probabilistic Boolean control networks(PBCNs)with state feedback control.A novel definition of bisimilar PBCNs is proposed to lower computational *** understand more on bisimulation relations between PBCNs,we resort to a powerful matrix manipulation called semi-tensor product(STP).Because stabilization of networks is of critical importance,the propagation of stabilization with probability one between bisimilar PBCNs is then considered and proved to be ***,the transient periods(the maximum number of steps to implement stabilization)of two PBCNs are certified to be identical if these two networks are paired with a bisimulation *** results are then extended to the probabilistic Boolean networks.