Fault detectability of Boolean control networks via nonaugmented methods

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.