模糊离散事件系统基于验证器的模式故障诊断

Verifier-based pattern diagnosis of fuzzy discrete-event system

针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.

In this paper, the diagnosability of patterns failures of fuzzy discrete-event systems(FDES) is investigated,where patterns failures may be triggered by sequences of events during system operations, and a verifier-based pattern diagnosis approach is proposed. Firstly, the notions of S-type pattern failure and T-type pattern failure are introduced in fuzzy systems. Then the diagnosability of S-type pattern failures and the T-types pattern failures of the FEDS are formalized. In order to verify the diagnosability of pattern failures of the FDES, a verifier automaton is constructed, and a sufficient and necessary condition for the diagnosability of pattern failures is presented.