A Polynomial Algorithm for Observer Design with Interpreted Petri Nets

被引:0
作者
Jimenez, Maria [1 ]
Ramirez Trevino, Antonio [1 ]
机构
[1] CINVESTAV IPN Unidad Guadalajara, Zapopan 45015, Jalisco, Mexico
来源
2012 WORLD AUTOMATION CONGRESS (WAC) | 2012年
关键词
IPN; Observer; Observability; DISCRETE-EVENT SYSTEMS; SUPERVISORY CONTROL; DYNAMIC-SYSTEMS; OBSERVABILITY; CONTROLLABILITY;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper addresses the observer design in Discrete Event System that are modeled with Interpreted Petri Nets. Based on this model, this paper presents a novel observer design methodology and since it exploits the output computable and BCML computable places information, the observed marking converges faster to the actual system marking than previous presented observers. Polynomial algorithms are used in order to compute the initial marking, the firing transition vector and to build the observed state.
引用
收藏
页数:6
相关论文
共 21 条
[11]   ON SUPERVISORY CONTROL OF SEQUENTIAL BEHAVIORS [J].
KUMAR, R ;
GARG, V ;
MARCUS, SI .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1992, 37 (12) :1978-1985
[12]  
LI Y, 1988, P 27 IEEE C DEC CONT, P203
[13]   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
[14]  
Meda ME, 1998, IEEE SYS MAN CYBERN, P740, DOI 10.1109/ICSMC.1998.725502
[15]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580
[16]   OBSERVABILITY OF DISCRETE EVENT DYNAMIC-SYSTEMS [J].
OZVEREN, CM ;
WILLSKY, AS .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (07) :797-806
[17]  
Ramadge P. J., 1986, Proceedings of the 25th IEEE Conference on Decision and Control (Cat. No.86CH2344-0), P1108
[18]   Observability of discrete event systems modeled by interpreted Petri nets [J].
Ramírez-Treviño, A ;
Rivera-Rangel, I ;
López-Mellado, E .
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (04) :557-565
[19]  
Rivera-Rangel I, 2005, KYBERNETIKA, V41, P553
[20]  
Rivera-Rangel L, 2000, IEEE DECIS CONTR P, P2260, DOI 10.1109/CDC.2000.914134