Chen Qinrui, Garayev Mubariz, Liu Ding
School of Electro-Mechanical Engineering, Xidian University, Xi'an 710071, China.
Department of Mathematics, College of Science, King Saud University, Riyadh P.O. Box 2455, Saudi Arabia.
Sensors (Basel). 2025 Feb 27;25(5):1452. doi: 10.3390/s25051452.
This paper presents a state-based method to address the verification of K-diagnosability and fault diagnosis of a finite-state vector discrete-event system (Vector DES) with partially observable state outputs due to limited sensors. Vector DES models consist of an arithmetic additive structure in both the state space and state transition function. This work offers a necessary and sufficient condition for verifying the K-diagnosability of a finite-state Vector DES based on state sensor outputs, employing integer linear programming and the mathematical representation of a Vector DES. Predicates are employed to diagnose faults in a Vector DES online. Specifically, we use three different kinds of predicates to divide system state outputs into different subsets, and the fault occurrence in a system is detected by checking a subset of outputs. Online diagnosis is achieved via solving integer linear programming problems. The conclusions obtained in this work are explained by means of several examples.
本文提出了一种基于状态的方法，用于解决因传感器有限而具有部分可观测状态输出的有限状态向量离散事件系统（向量DES）的K-可诊断性验证和故障诊断问题。向量DES模型在状态空间和状态转移函数中均由算术加法结构组成。这项工作基于状态传感器输出，利用整数线性规划和向量DES的数学表示，给出了验证有限状态向量DES的K-可诊断性的充分必要条件。谓词用于在线诊断向量DES中的故障。具体来说，我们使用三种不同类型的谓词将系统状态输出划分为不同的子集，并通过检查输出的一个子集来检测系统中的故障发生。通过求解整数线性规划问题实现在线诊断。本文通过几个例子对所得到的结论进行了解释。
