Decentralized Diagnosis of Fuzzy Discrete-Event Systems

被引:6
作者
Liu, Fuchun [1 ]
Dziong, Zbigniew [2 ]
机构
[1] Guangdong Univ Technol, Fac Comp, Guangzhou 510006, Guangdong, Peoples R China
[2] Ecole Technol Super, Dept Elect Engn, Montreal, PQ H3C 1K3, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
Discrete-event systems; failure detection; decentralized diagnosis; fuzzy finite automata; codiagnosability; SUPERVISORY CONTROL; FAILURE DIAGNOSIS; DIAGNOSABILITY;
D O I
10.3166/EJC.18.304-315
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In order to more effectively cope with the real-world problems of vagueness, impreciseness, and subjectivity, fuzzy discrete-event systems (FDESs) were proposed by Lin and Ying [12]. Recently, an approach of centralized diagnosis for FDESs was presented by the first author and Qiu [15]. As a continuation, this paper aims to extend it to the decentralized framework. We formalize the notion of codiagnosability for decentralized diagnosis of FDESs, in which the observability of fuzzy events is defined to be fuzzy instead of crisp. The codiagnosability of an FDES is a necessary but not sufficient condition of its diagnosability. A codiagnosable FDES is required that each failure can be detected by at least one local fuzzy diagnoser within a finite delay based on the observability of fuzzy event strings. From a given FDES, we construct a codiagnoser to perform the decentralized diagnosis, each component of which carries out the local detection based on its local observation. In particular, a necessary and sufficient condition for the codiagnosability of FDESs is presented. In addition, some examples are provided to illustrate the main results.
引用
收藏
页码:304 / 315
页数:12
相关论文
共 29 条
[1]  
BOEL RK, 2002, P INT WORKSH DISCR E
[2]   Observability and decentralized control of fuzzy discrete-event systems [J].
Cao, YZ ;
Ying, MS .
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2006, 14 (02) :202-216
[3]   Supervisory control of fuzzy discrete event systems [J].
Cao, YZ ;
Ying, MS .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2005, 35 (02) :366-371
[4]  
Cassandras C. G., 2009, INTRO DISCRETE EVENT, DOI DOI 10.1007/978-3-030-72274-6
[5]   On the effect of communication delays in failure diagnosis of decentralized discrete event systems [J].
Debouk, R ;
Lafortune, S ;
Teneketzis, D .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2003, 13 (03) :263-289
[6]   Coordinated decentralized protocols for failure diagnosis of discrete event systems [J].
Debouk, R ;
Lafortune, S ;
Teneketzis, D .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2) :33-86
[7]  
Debouk R, 2000, P 11 INT WORKSH PRIN, P41
[8]   Behavior-modulation technique in mobile robotics using fuzzy discrete event system [J].
Huq, Rajibul ;
Mann, George K. I. ;
Gosine, Raymond G. .
IEEE TRANSACTIONS ON ROBOTICS, 2006, 22 (05) :903-916
[9]  
Jiang SB, 2002, IEEE DECIS CONTR P, P4000
[10]   A polynomial algorithm for testing diagnosability of discrete-event systems [J].
Jiang, SB ;
Huang, ZD ;
Chandra, V ;
Kumar, R .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (08) :1318-1321