Fault Detection Analysis of Boolean Control Networks

In this technical note, we address the fault detection problem for Boolean control networks (BCNs). We first investigate completeness and $T$-completeness of the set of input/output trajectories. Next, we introduce the concept of meaningful fault, and prove necessary and sufficient conditions under which meaningful faults can be detected from the input/output trajectories of the BCN. Two fault detection algorithms are provided.