Observability and decentralized control of fuzzy discrete-event systems

被引:92
作者
Cao, YZ [1 ]
Ying, MS [1 ]
机构
[1] Tsinghua Univ, Dept Comp Sci & Technol, State Key Lab Intelligent Technol & Syst, Beijing 100084, Peoples R China
基金
中国国家自然科学基金;
关键词
co-observability; fuzzy discrete-event systems; normality; observability; supervisory control;
D O I
10.1109/TFUZZ.2005.864085
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Fuzzy discrete-event systems as a generalization of (crisp) discrete-event systems have been introduced in order that it is possible to effectively represent uncertainty, imprecision, and vagueness arising from the dynamic of systems. A fuzzy discrete-event system has been modeled by a fuzzy automaton; its behavior is described in terms of the fuzzy language generated by the automaton. In this paper, we are concerned with the supervisory control problem for fuzzy discrete-event systems with partial observation. Observability, normality, and co-observability of crisp languages are extended to fuzzy languages. It is shown that the observability, together with controllability, of the desired fuzzy language is a necessary and sufficient condition for the existence of a partially observable fuzzy supervisor. When a decentralized solution is desired, it is proved that there exist local fuzzy supervisors if and only if the fuzzy language to be synthesized is controllable and co-observable. Moreover, the intimal controllable and observable fuzzy superlanguage, and the supremal controllable and normal fuzzy sublanguage are also discussed. Simple examples are provided to illustrate the theoretical development.
引用
收藏
页码:202 / 216
页数:15
相关论文
共 27 条
[1]   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
[2]  
Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd
[3]   SUPERVISORY CONTROL OF DISCRETE-EVENT PROCESSES WITH PARTIAL OBSERVATIONS [J].
CIESLAK, R ;
DESCLAUX, C ;
FAWAZ, AS ;
VARAIYA, P .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (03) :249-260
[4]  
Dubois D., 1980, FUZZY SET SYST
[5]   A probabilistic language formalism for stochastic discrete-event systems [J].
Garg, VK ;
Kumar, R ;
Marcus, SI .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1999, 44 (02) :280-293
[6]  
KANDEL A, 1979, FUZZY SWITCHING AUTO
[7]  
Kleene S., 1956, AUTOMATA STUDIES, P3
[8]   Control of stochastic discrete event systems modeled by probabilistic languages [J].
Kumar, R ;
Garg, VK .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (04) :593-606
[9]   DECENTRALIZED CONTROL AND COORDINATION OF DISCRETE-EVENT SYSTEMS WITH PARTIAL OBSERVATION [J].
LIN, F ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (12) :1330-1337
[10]   ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS [J].
LIN, F ;
WONHAM, WM .
INFORMATION SCIENCES, 1988, 44 (03) :173-198