Petri net controllers to enforce disjunction of GMECs

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 2003, Pages 1440-1445

  Basile, Francesco ^a   Carbone, Ciro ^a   Chiacchio, Pasquale ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; MATHEMATICAL MODELS; PETRI NETS;

GENERALIZED MUTUAL EXCLUSION CONSTRAINTS; PETRI NET CONTROLLERS; UNCONTROLLABLE TRANSITION;

SCADA SYSTEMS;

EID: 0345307588     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Alessandro Giua, Frank DiCesare, and Manuel Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions", Proc. 1992 IEEE Int. Conf. on Systems, Man, and Cybernetics (Chigago), pp. 974-979, October 1992
2. Yong Li and W.M. Wonham, "Control of vector discrete-event systems II - controller synthesis," IEEE Trans. on Automatic Control, vol. 39, no. 3, pp. 512-531, March 1994
3. Katherina Yalimandou, John Moody, Michael Lemon, and Panos Antsaklis, "Feedback control of petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, January 1996
4. Bruce H. Krough and Lawrence E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, July 1991.
5. G. Stremersch and R.K. Boel, "Structuring acyclic petri nets for reachability analysis and control," Discrete Event Dynamic Systems: Theory and Applications, vol. 12, pp. 7-41, 2002.
6. J. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. on Automatic Control, vol. 45, no. 3, pp. 462-476, March 2000.
7. John Moody and Panos Antsaklis, Supervisory Control of Discrete Event System Using Petri Nets, Kluwer Ac., 1998.