It is meaningful to identify various faults occurring in dynamic systems as early as possible. This paper explores the identification of edge removal fault in Boolean networks (BNs). At first, with the help of semi-tensor product of matrices, the algebraic formulation is presented for the faulty BNs subject to an edge removal fault. After that, a fault-triggered matrix is constructed to uncover the relationship of algebraic formulations between non-faulty BN and faulty BN, based on which, a kind of fault identification equation is established to identify the two faulty nodes in the single edge removal fault. Furthermore, a fault identification matrix is constructed to identify the faulty nodes in the single and multiple edge removal faults of a disjunctive BN, whose dimension is much smaller than the fault-triggered matrix. Finally, the obtained results are demonstrated by the Drosophila Spz processing model.

中文翻译：

---

布尔网络和析取布尔网络中的边缘去除故障识别

尽早识别动态系统中发生的各种故障是有意义的。本文探讨了布尔网络（BN）中边缘去除故障的识别。首先，借助矩阵的半张量积，给出了受边缘去除故障影响的故障 BN 的代数公式。然后，构造故障触发矩阵，揭示无故障BN和故障BN之间的代数公式关系，并在此基础上建立一种故障识别方程，以识别单边去除故障中的两个故障节点。此外，构造故障识别矩阵来识别析取BN的单边和多边去除故障中的故障节点，其维数远小于故障触发矩阵。最后，通过果蝇Spz处理模型对所得结果进行了验证。