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.
关键词
Keywords
references
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.
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.
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.
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.
SAMPATH M, SENGUPTA R, LAFORTUNE S, et al . Diagnosability of discrete-event systems [J ] . IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.
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.
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.
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.
CAO L, SHU S L, LIN F, et al . Weak diagnosability of disc rete event systems [J ] . IFAC-PapersOnline, 2020, 53(4): 338-343.
AGARWAL A, MADALINSKI A, HAAR S. Effective verification of weak diagnosability [J]. IFAC Proceedings Volumes, 2012, 45(20): 636-641.
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.
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.
ZADEH L A. Fuzzy logic = computing with words [J]. IEEE Transactions on Fuzzy Systems, 1996, 4(2): 103-111.
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.
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.
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.
BENMESSAHEL B, TOUAHRIA M, NOUIOUA F. Predictability of fuzzy discrete event systems [J]. Discrete Event Dynamic Systems, 2017, 27(4): 641-673.
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.
LIU F C. Polynomial-time verification of diagnosability of fuzzy discrete event systems [J]. Science China Information Sciences, 2014, 57(6): 1-10.
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.