离散事件系统最小故障诊断基的求解与应用

Computation and Application of Minimal Diagnosis Bases of Discrete Event Systems

  • 摘要: 针对离散事件系统(DESs)的最小故障故障诊断基(MDB)求解问题,提出了一种基于事件集树的求解算法.首先在诊断器的基础上构建了一种新型测试自动机,并求得离散事件系统可诊断性的充分必要条件,实现了对DESs的故障诊断.在此基础上,提出了通过构造事件集树求解离散事件系统MDB的算法,并对算法的复杂度进行了分析.最后,通过网络系统中关键网路的选取实例对算法进行了分析.与现有算法相比,所提算法不仅复杂度更低,而且可用于在线诊断和离线诊断,适用性更广.

     

    Abstract: To address the problem associated with the minimum diagnosis bases (MDBs) of discrete event systems (DESs), we present an algorithm that is based on the event set tree. First, we build a new type of test automaton, based on the diagnoser, and obtain the necessary and sufficient conditions for DESs to be able to diagnose faults. We propose an algorithm for computing the MDB by constructing an event set tree, and analyze the complexity of the algorithm. Finally, we evaluate the performance of the algorithm by its application to the selection of key networks in network systems. Compared with the results of existing algorithms, the proposed algorithm is not only less complex, but it can also be used for both online and offline diagnoses.

     

/

返回文章
返回