Fault detectability of Boolean control networks via nonaugmented methods  

作　　者：Rong ZHAO Caixia WANG Yongyuan YU Jun-E FENG 

机构地区：[1]School of Mathematics,Shandong University,Jinan 250100,China

出　　处：《Science China(Information Sciences)》2023年第12期90-102,共13页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China (Grant Nos.62273201,62203264);Research Fund for the Taishan Scholar Project of Shandong Province of China (Grant No.TSTP20221103);Natural Science Fund of Shandong Province (Grant No.ZR2022QF061)。

摘　　要：This study is concerned with the fault detectability of Boolean control networks(BCNs)by two nonaugmented methods.Firstly,the equivalent system-based approach is considered,and the equivalence of BCNs is applied to analyze weak active fault detectability.Further,an iterative matrix set-based approach is proposed,by which,several novel criteria for strong and weak active fault detectability are presented.Meanwhile,effective algorithms are designed to check strong and weak active fault detectability and generate all feasible input sequences with the minimum length.In comparison,our results reduce the computational complexity dramatically than the existing studies.

关 键 词：Boolean control network fault detectability equivalent system nonaugmented method semitensor product 

分 类 号：O231[理学—运筹学与控制论]