Exploiting Distinguishing Sensors in Supervisory Control of DES

被引:7
作者
Bouzon, Gustavo [1 ]
de Queiroz, Max H. [2 ]
Cury, Jose E. R. [2 ]
机构
[1] Controlle Solucoes Mecatron, Lages, Brazil
[2] Univ Fed Santa Catarina, Dept Automat & Syst, Florianopolis, SC, Brazil
来源
2009 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-3 | 2009年
关键词
DISCRETE-EVENT SYSTEMS;
D O I
10.1109/ICCA.2009.5410292
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In discrete event systems, sensors can be used to observe occurrences of an event or to distinguish the occurrences of an observable event. In a previous paper, we formulate the supervisory control problem with distinguishing sensors to re ne the set of events in a way that speci cations can be represented by simpler models while the behavior of sensor is incorporated into the plant model. To avoid computational complexity, an approximation of the distinguished plant is used in the synthesis of suboptimal supervisors. In this paper, we introduce more general conditions on the approximating automata that can partially incorporate the sensor complexity in the synthesis to improve the quality of solution. An example of a manufacturing transfer line with material feedback shows the advantages of the results.
引用
收藏
页码:442 / +
页数:2
相关论文
共 8 条
[1]  
Bouzon G., 2008, P 9 INT WORKSH DISCR, P390
[2]   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
[3]   Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems [J].
HajiValizadeh, A ;
Loparo, KA .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (11) :1579-1593
[4]  
Khuller S., 2004, P 7 INT WORKSH DISCR
[5]   ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS [J].
LIN, F ;
WONHAM, WM .
INFORMATION SCIENCES, 1988, 44 (03) :173-198
[6]   THE CONTROL OF DISCRETE EVENT SYSTEMS [J].
RAMADGE, PJG ;
WONHAM, WM .
PROCEEDINGS OF THE IEEE, 1989, 77 (01) :81-98
[7]   NP-completeness of sensor selection problems arising in partially observed discrete-event systems [J].
Yoo, TS ;
Lafortune, S .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (09) :1495-1499
[8]   ON THE CONSISTENCY OF HIERARCHICAL SUPERVISION IN DISCRETE-EVENT SYSTEMS [J].
ZHONG, H ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (10) :1125-1134