Journal of Guangdong University of Technology ›› 2023, Vol. 40 ›› Issue (04): 102-108.doi: 10.12052/gdutxb.210200

• Comprehensive Studies • Previous Articles     Next Articles

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

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

CLC Number: 

  • 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] Shi Cong-cong, Liu Fu-chun. A Pattern-Based Failure Diagnosis of Fuzzy Discrete-Event Systems [J]. Journal of Guangdong University of Technology, 2019, 36(01): 35-41.
[2] Ye Bin-bin, Liu Fu-chun. Failure Predictability of Stochastic Discrete Event Systems [J]. Journal of Guangdong University of Technology, 2018, 35(06): 83-89.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!