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

Verifier-based pattern diagnosis of fuzzy discrete-event system

作　　者：刘富春[1] 严飞 赵锐[1] 崔洪刚[1,2] LIU Fu-chun;YANFei;ZHAO Rui;CUI Hong-gang(School of Computers,Guangdong University of Technology,Guangzhou 510006,China;Science and Technology Innovation Center at Dongyuan County in Guangdong Province,Heyuan 517500,China)

机构地区：[1]广东工业大学计算机学院,广州510006 [2]广东省东源县科技创新中心,广东河源517500

出　　处：《控制与决策》2020年第6期1403-1408,共6页Control and Decision

基　　金：国家自然科学基金项目(61673122);广东省自然科学基金项目(2019A1515010548);广东工业大学计算机学院重大奖项培育项目(2016PY01).

摘　　要：针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入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.

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

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