On the existence of petri net controller for discrete event systems under partial observation

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 385-390

  Achour, Zied ^a   Rezg, Nidhal ^a   Xie, Xiaolan ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Forbidden state problems; Petri nets; Supervisory control; Unobservable transitions

Indexed keywords

DISCRETE EVENT SIMULATION; PETRI NETS;

CONTROL PLACE; FORBIDDEN STATE; PARTIAL OBSERVATION; PETRI NET CONTROLLER; REACHABILITY GRAPHS; SUPERVISORY CONTROL; THEORY OF REGIONS; UNOBSERVABLE;

CONTROLLERS;

EID: 79960722050     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.00348     Document Type: Conference Paper

References (7)

1. Achour Z., N. Rezg and X. Xie (2004). Supervisory Controller of Petri Nets under Partial Observation, WODES'04 - IFAC 7th Workshop on Discrete Event Systems, September 22-24, 2004, Reims.
2. Darondeau Ph. and X. Xie (2003). Linear Control of Live Marked Graphs, Automatica, Vol. 39, no. 3, pp. 429-440.
3. Ghaffari A., N. Rezg and X. Xie (2003). Design of Live and Maximally Permissive Petri Net Controller Using Theory of Regions, IEEE Trans. on Robotics and Automation, Vol. 19 n. 1, pp. 137-142.
4. Moody J. O. and P. J. Antsaklis (1999). Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions, research report isis-99-004.
5. th IEEE CDC, Kobe, Japan.
6. Stremersch G., (2000). Linear Algebraic Design of Supervisors for Partially Observed Petri Nets, Proc. IFAC Conf. on Control Systems Design (CSD'2000), Bratislava, Slovak Republic, pp. 281-286.
7. Yamalidou K., J. Moody, M. Lemmon and P. Antsaklis (1996). Feedback control of Petri nets based on place invariants, Automatica, Vol. 32, no. 1, pp. 15-28.