Time floating general mutual exclusion constraints in partial observable discrete event systems

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006

Volumn , Issue , 2006, Pages 75-79

  Achour, Zied ^a   Rezg, Nidhal ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

FORBIDDEN STATE PROBLEM; PARTIAL OBSERVATION; RAMADGE-WONHAM THEORY; REACHABILITY;

DISCRETE EVENT SIMULATION;

EID: 34547435148     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IRI.2006.252391     Document Type: Conference Paper

References (5)

1. Moody J.O. and P.J. Antsaklis (1999). Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions, research report isis-99-004.
2. Yamalidou K., J. Moody, M. Lemmon and P. Antsaklis (1996). Feedback control of Petri nets based on place invariants, Automatica, Vol. 32, no1, pp. 15-28.
3. Darondeau Ph. and X. Xie (2003). Linear Control of Live Marked Graphs, Automatica, Vol. 39, no3, pp 429-440.
4. 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.
5. Achour Z., N. Rezg and X. Xie (2004). Supervisory Controller of Petri Nets under Partial Observation, WODES'04 - IFAC, September 22-24, 2004, Reims.