Fault Detectability of Asynchronous Switched Boolean Networks: A Set Reachability Approach

This article addresses the fault detectability problem of asynchronous switched Boolean networks, which is focused on whether occurrence of the faults would have an impact on the outputs of the considered network. By applying the semi-tensor product method, the asynchronous switching scheme of the considered system is converted into multiple switching signals. Based on them, an augmented system is established to transform the fault detectability issue of the original system into a set reachability problem. Moreover, some criteria for the fault detectability of the asynchronous switched Boolean control networks are also proposed. Additionally, two algorithms are given to design feasible control sequences after explicitly analyzing the considered augmented system. Finally, an example is provided to illustrate the significance of the obtained theoretical results.