离散事件系统的故障一次可修复性诊断

Diagnosis of Disposable Recoverability Based on Discrete Event Systems With Faults

为了突破周期可修复性的局限性,提出一种新的可修复性定义及相关诊断方法.针对可修复状态为一次可达状态的情况,通过详细分析这类离散事件系统的特点,提出一次可修复性的形式化定义;然后,从不可区分串和可修复性诊断器角度,讨论一次可修复性的诊断方法和证明过程.实例结果表明:所提出的一次可修复性诊断方法能有效解决系统的诊断需求.

In order to break through the limitations of periodic recoverability,a new definition of recoverability and related diagnostic methods are proposed.Aiming at the situation that the recoverable state is once reachable state,a formal definition of disposable recoverability is proposed after analysing the characteristics of this kind of discrete event systems in detail,and then the diagnostic methods and theoretical proofs of disposable recoverability are discussed from two aspects,indistinguishable strings and diagnoser.The results of an example show that the diagnosis methods of disposable recoverability can effectively solve the diagnostic requirements of the system.