模糊离散事件系统的弱可诊断性  

Weak Diagnosability of Fuzzy Discrete Event Systems

作　　者：伦浩怀 刘富春[1] Lun Hao-huai;Liu Fu-chun(School of Computer Science and Technology,Guangdong University of Technology,Guangzhou 510006,China)

机构地区：[1]广东工业大学计算机学院,广东广州510006

出　　处：《广东工业大学学报》2023年第4期102-108,共7页Journal of Guangdong University of Technology

基　　金：国家自然科学基金资助项目(61673122);广东省自然科学基金资助项目(2019A1515010548)。

摘　　要：针对故障诊断方法对系统要求过高的问题,研究模糊离散事件系统(Fuzzy Discrete Event Systems, FDES)的弱故障诊断,提出一种弱模糊诊断方法,将经典离散事件系统(Discrete Event Systems, DES)的弱故障诊断方法拓广至模糊系统。先对模糊离散事件系统的弱模糊故障可诊断性进行形式化;为验证模糊系统的弱模糊故障可诊断性,构造了一个验证器自动机,得到模糊离散事件系统弱模糊故障可诊断性的充分必要条件,实现了对模糊离散事件系统的弱模糊故障诊断。该方法既适用于模糊离散事件系统的弱模糊故障诊断,又适用于经典离散事件系统的弱故障诊断。Aiming at the problem that the existing fault diagnosis method has too high requirements for systems,the weak diagnosability of fuzzy discrete event system(FDES)is studied,and a weak fuzzy diagnosability method is proposed,which extends the weak diagnosability method of classical discrete event system(DES)to the fuzzy system.Firstly,the notion of weak fuzzy diagnosability of FDES is formalized;In order to verify the weak fuzzy diagnosability of fuzzy systems,a verifier automaton is constructed,and the necessary and sufficient conditions for the weak fuzzy diagnosability of FDES are obtained,in which the weak fuzzy fault diagnosis of fuzzy systems is realized.This method is suitable for weak fault diagnosis of both FDES and classical DES.

关 键 词：模糊离散事件系统 故障诊断 弱故障可诊断性 验证器自动机 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置]