Identification and stabilization of faulty Boolean control networks

Fault-tolerant control is a fundamental branch in the modern control theory, and has wide applications such as aerospace, automotive technology and nuclear engineering. Particularly, the study of faulty Boolean control networks (BCNs) is meaningful to the disease treatment. This paper focuses on both stuck-at fault and bridging fault in BCNs, and investigates the identification and stabilization of BCNs subject to these two faults. The basic mathematical tool is semi-tensor product (STP) of matrices, which is used to determine the algebraic formulation of faulty BCNs. Through the construction of invariant sets corresponding to the faulty nodes, the relations between these two faults and state transition matrices are presented, which is helpful to identify the faulty nodes. In addition, the robust stabilization of BCNs subject to these two faults is discussed and several new criteria are derived. Finally, the obtained results are applied to analyze the stabilization of oxidative stress response pathways. (c) 2023 The franklin institute. Pubished by Elsevier Inc. All rights reserved.

Automated summary

This paper focuses on the identification and stabilization of faulty Boolean control networks (BCNs) subject to stuck-at fault and bridging fault. It uses the semi-tensor product (STP) of matrices as the mathematical tool to determine the algebraic formulation of faulty BCNs. By constructing invariant sets corresponding to the faulty nodes, the relations between these two faults and state transition matrices are presented, which helps identify the faulty nodes. In addition, several new criteria for the robust stabilization of BCNs subject to these two faults are discussed. Finally, the obtained results are applied to analyze the stabilization of oxidative stress response pathways.