广东工业大学学报 ›› 2023, Vol. 40 ›› Issue (04): 102-108.doi: 10.12052/gdutxb.210200

• 综合研究 • 上一篇    下一篇

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

伦浩怀, 刘富春   

  1. 广东工业大学 计算机学院, 广东 广州 510006
  • 收稿日期:2021-12-17 出版日期:2023-07-25 发布日期:2023-08-02
  • 通信作者: 刘富春(1971–)，男，教授，博士生导师, 主要研究方向为控制理论与控制工程、算法分析与设计，E-mail：liufch@gdut.edu.cn
  • 作者简介:伦浩怀(1995–), 男, 硕士研究生，主要研究方向为控制理论与控制工程、算法分析与设计
  • 基金资助:
    国家自然科学基金资助项目(61673122) ；广东省自然科学基金资助项目(2019A1515010548)

Weak Diagnosability of Fuzzy Discrete Event Systems

Lun Hao-huai, Liu Fu-chun   

  1. School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China
  • Received:2021-12-17 Online:2023-07-25 Published:2023-08-02

HTML

PDF (PC)

886

摘要： 针对故障诊断方法对系统要求过高的问题，研究模糊离散事件系统(Fuzzy Discrete Event Systems, FDES)的弱故障诊断，提出一种弱模糊诊断方法，将经典离散事件系统(Discrete Event Systems, DES)的弱故障诊断方法拓广至模糊系统。先对模糊离散事件系统的弱模糊故障可诊断性进行形式化；为验证模糊系统的弱模糊故障可诊断性，构造了一个验证器自动机，得到模糊离散事件系统弱模糊故障可诊断性的充分必要条件，实现了对模糊离散事件系统的弱模糊故障诊断。该方法既适用于模糊离散事件系统的弱模糊故障诊断，又适用于经典离散事件系统的弱故障诊断。

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

Abstract: 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.

Key words: fuzzy discrete event systems, failure diagnosis, weak diagnosability, verifier automaton

中图分类号: 

  • TP277
[1] DAS S R, HOLLOWAY L E. Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals[J]. IEEE Transactions on Systems, Man, and Cybernetics - Part A:Systems and Humans, 2000, 30(1): 52-66.
[2] LIN F, LIN T W. Diagnosability of discrete event systems and its applications to circuit testing[C]// Proceedings of 36th Midwest Symposium on Circuits and Systems. Detroit: IEEE, 1993: 344-347.
[3] HADJICOSTIS C N, VERGHESE G C. Power system monitoring based on relay and circuit breaker information[C]// The 2001 IEEE International Symposium on Circuits and Systems (Cat. No. 01CH37196). Sydney: IEEE, 2001: 197-200.
[4] QIU W, KUMAR R. Distributed diagnosis under bounded-delay communication of immediately forwarded local observations[J]. IEEE Transactions on Systems, Man, and Cybernetics - Part A:Systems and Humans, 2008, 38(3): 628-643.
[5] SAMPATH M, SENGUPTA R, LAFORTUNE S, et al. Diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.
[6] JIANG S B, HUANG Z D, CHANDRA V, et al. A polynomial algorithm for testing diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 2001, 46(8): 1318-1321.
[7] YOO T S, LAFORTUNE S. Polynomial-time verification of diagnosability of partially observed discrete-event systems[J]. IEEE Transactions on Automatic Control, 2002, 47(9): 1491-1495.
[8] CASSEZ F, TRIPAKIS S, ALTISEN K. Sensor minimization problems with static or dynamic observers for fault diagnosis[C]// Seventh International Conference on Application of Concurrency to System Design. Bratislava, Slovakia: IEEE, 2007: 90-99.
[9] CAO L, SHU S L, LIN F, et al. Weak diagnosability of discrete event systems[J]. IFAC-PapersOnline, 2020, 53(4): 338-343.
[10] AGARWAL A, MADALINSKI A, HAAR S. Effective verification of weak diagnosability[J]. IFAC Proceedings Volumes, 2012, 45(20): 636-641.
[11] LIN F, YING H. Fuzzy discrete event systems and their observability[C]// Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569). Vancouver: IEEE, 2001: 1271-1276.
[12] LIN F, YING H. Modeling and control of fuzzy discrete event systems[J]. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 2002, 32(4): 408-415.
[13] ZADEH L A. Fuzzy logic = computing with words[J]. IEEE Transactions on Fuzzy Systems, 1996, 4(2): 103-111.
[14] CAO Y Z, YING M S. Observability and decentralized control of fuzzy discrete-event systems[J]. IEEE Transactions on Fuzzy Systems, 2006, 14(2): 202-216.
[15] CAO Y Z, YING M S. Supervisory control of fuzzy discrete event systems[J]. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 2005, 35(2): 366-371.
[16] HUQ R, MANN G K I, GOSINE R G. Behavior-modulation technique in mobile robotics using fuzzy discrete event system[J]. IEEE Transactions on Robotics, 2006, 22(5): 903-916.
[17] BENMESSAHEL B, TOUAHRIA M, NOUIOUA F. Predictability of fuzzy discrete event systems[J]. Discrete Event Dynamic Systems, 2017, 27(4): 641-673.
[18] LIU F C, QIU D W. Diagnosability of fuzzy discrete-event systems: a fuzzy approach[J]. IEEE Transactions on Fuzzy Systems, 2009, 17(2): 372-384.
[19] LIU F C. Polynomial-time verification of diagnosability of fuzzy discrete event systems[J]. Science China Information Sciences, 2014, 57(6): 1-10.
[20] QIU D W, LIU F C. Fuzzy discrete-event systems under fuzzy observability and a test algorithm[J]. IEEE Transactions on Fuzzy Systems, 2009, 17(3): 578-589.
[1] 石聪聪, 刘富春. 模糊离散事件系统基于模式的故障诊断[J]. 广东工业大学学报, 2019, 36(01): 35-41.
[2] 叶彬彬, 刘富春. 随机离散事件系统的故障预测[J]. 广东工业大学学报, 2018, 35(06): 83-89.
[3] 马留洋, 孟安波, 葛佳菲. 基于纵横交叉算法优化BP神经网络的风机齿轮箱故障诊断方法[J]. 广东工业大学学报, 2018, 35(02): 57-62.
[4] 张家宾, 张金春, 李日华, 李超亚. 基于可拓学的故障诊断及预防方法研究[J]. 广东工业大学学报, 2015, 32(1): 11-15.
[5] 龙祥； 钱志博； . 模糊理论在设备故障诊断神经网络中的典型应用[J]. 广东工业大学学报, 2006, 23(4): 60-63.
[6] 杨春燕； 何斌； . 系统故障的可拓诊断方法[J]. 广东工业大学学报, 1998, 15(1): 100-105.
[7] 秦叶； 原锡光； 冯文贤； 陈文戈； 郑佑廉； . 小波分析与机械故障诊断[J]. 广东工业大学学报, 1997, 14(2): 68-72.
[8] 秦叶； 陈文戈； 原锡光； 曾焕浪； 郑佑濂； . 大型机组振动信号的采集与典型故障的诊断[J]. 广东工业大学学报, 1997, 14(1): 75-79.
[9] 郑佑濂； 陈文戈. 大型机组运行状态的振动特征与模糊识别[J]. 广东工业大学学报, 1995, 12(S1): 53-57.
[10] 肖鸿展； 蔡千；. 模拟电路故障诊断中的故障分离[J]. 广东工业大学学报, 1994, 11(1): 71-79.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 2017 《广东工业大学学报》编辑部
地址：广州市东风东路729号广东工业大学 邮编：510090
电话：020-37626653,020-37626139,020-37626396
邮箱：xbzrb@gdut.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发