Active Fault Detection of Switched Logical Control Networks with State Constraints

Fault detection is an important topic in control theory and engineering. This article analyzes the active fault detection of switched multi-valued logical control networks with state constraints based on the semi-tensor product of matrices. Firstly, by using the block selection matrix, the faulty system with state constraints is converted into an equivalent faulty system without constraints. Secondly, an auxiliary system is constructed, and a pair of distinguishable set and indistinguishable set is defined. Thirdly, the strong active fault detection and active fault detection are analyzed through checking the reachability from indistinguishable set to distinguishable set, and two criteria are established with the help of set controllable matrix. Finally, the effectiveness of the proposed results is demonstrated by the p53-MDM2 network.