Failure diagnosis of discrete event systems (DESs) has received considerable attention in recent years. The failure diagnosis for fuzzy discrete event systems (FDESs) modeled by fuzzy automata is investigated. First
for two kinds of failure patterns:
S
type pattern and
T
type pattern
the notions of diagnosability for
S
type pattern and for
T
type pattern of FDESs are respectively formalized. Then by constructing
S
type pattern diagnoser and
T
type pattern diagnoser
the necessary and sufficient conditions for the diagnosability of
S
type pattern and
T
type pattern of FDESs a
re respectively proposed
and the pattern-based failure diagnosis of FDESs is realized.
关键词
Keywords
references
CASSANDRAS C, LAFORTUNE S. Introduction to discrete event systems 2ed[M]. New York: Springer, 2008.
LIN F. Diagnosability of discrete event systems and its applications [J]. Discrete Event Dynamic Systems: Theory and Applications, 1994, 4(2): 197-212.
HOPCROFT J E, MOTWANI R, ULLMAN J D. Introduction to automata theory, Languages, and Computation 2ed[M]. Boston: Addison Wesley, 2001.
YOO T S, LAFORTUNE S. Polynomial-time verification of diagnosability of partially observed discrete-event systems [J]. Automatic Control IEEE Transactions on, 2002, 47(9): 1491-1495.
HU Q, LIU F C. Optimization control of cloud resource allocation based on DES [J]. Journal of Guangdong University of Technology, 2016, 33(1): 29-35.
DEBOUK R, LAFORTUNE S, TENEKETZIS D. Coordinated decentralized protocols for failure diagnosis of discrete event systems [J]. Discrete Event Dynamic Systems: Theory and Applications, 2000, 10(1): 33-86.
PENCOLÉ Y. Diagnosability analysis of distributed discrete event systems[C]//ECAI 2004 16th European Conference on Artificial Intelligence. Spain, Valencia: IEEE, 2008: 43-47.
DUBOIS D, PRADE H. Fuzzy sets and systems: theory and applications[M]. New York: Academic Press, 1980.
LIN F, YING H. Fuzzy discrete event systems and their observability[C]//Joint 9th Ifsa World Congress and 20th Nafips International Conference. Canada, Vancouver: IEEE, 2001: 1271-1276.
CAO Y, YING M. Observability and decentralized control of fuzzy discrete-event systems [J]. IEEE Transactions on Fuzzy Systems, 2004, 14(2): 202-216.
CAO Y, YING M. Supervisory control of fuzzy discrete event systems [J]. IEEE Transactions on Systems Man Cybernetics Part B Cybernetics, 2005, 35(2): 366-371.
QIU D. Supervisory control of fuzzy discrete event systems: a formal approach [J]. IEEE Transactions on Systems Man Cybernetics Part B Cybernetics, 2005, 35(1): 72-88.
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.
CAO Y, YING M, CHEN G. State-based control of fuzzy discrete-event systems [J]. IEEE Transactions on Systems Man Cybernetics Part B Cybernetics, 2007, 37(2): 410.
LIU J, LI Y. The relationship of controllability between classical and fuzzy discrete-event systems [J]. Basic Sciences Journal of Textile Universities, 2007, 178(21): 4142-4151.
LIU F, QIU D. Decentralized supervisory control of fuzzy discrete event systems [J]. European Journal of Control, 2008, 14(3): 234-243.
LIU F, QIU D. Diagnosability of fuzzy discrete-event systems: a fuzzy approach [J]. IEEE Transactions on Fuzzy Systems, 2009, 17(2): 372-384.
LIU F, DZIONG Z. Decentralized diagnosis of fuzzy discrete-event systems [J]. European Journal of Control, 2012, 18(3): 304-315.
LIU F. Safe diagnosability of fuzzy discrete-event systems and a polynomial-time verification [J]. IEEE Transactions on Fuzzy Systems, 2015, 23(5): 1534-1544.
GENC S, LAFORTUNE S. Diagnosis of patterns in partially-observed discrete-event systems[C]//IEEE Conference on Decision and Control. California, San Diego: IEEE, 2007: 422-427.
JERON T, MARCHAND H, PINCHINAT S, et al. Supervision patterns in discrete event systems diagnosis[C]//International Workshop on Discrete Event Systems. Germany, Berlin: IEEE, 2010: 262-268.
YE L, DAGUE P, YAN Y. An incremental approach for pattern diagnosability in distributed discrete event systems[C]//IEEE International Conference on Tools with Artificial Intelligence. New Jersey, Newark: IEEE, 2009: 123-130.
YE L, DAGUE P. A general algorithm for pattern diagnosability of distributed discrete event systems[C]//IEEE International Conference on Tools with Artificial Intelligence. Washington: IEEE, 2013: 130-137.