Non-blocking decentralized control of discrete event systems based on Petri nets

Asian Journal of Control

Volumn 12, Issue 3, 2010, Pages 323-335

  Lu, Feihua ^a   Wu, Weimin ^a   Su, Hongye ^a   Chu, Jian ^a  

^a STATE KEY LABORATORY OF INDUSTRIAL CONTROL TECHNOLOGY   (China)

Author keywords

Coordinator; Decentralized control; Discrete event systems (DES); Hybrid approach; Non blockingness

Indexed keywords

CLOSED LOOP SYSTEMS; DECENTRALIZED CONTROL; MANUFACTURE; PETRI NETS;

CONTROL OF DISCRETE EVENT SYSTEMS; COORDINATOR; DEADLOCK FREENESS; GENERALIZED CONSTRAINT; HYBRID APPROACH; LIVENESS; NON-BLOCKING; NON-BLOCKINGNESS;

DISCRETE EVENT SIMULATION;

EID: 77955326818     PISSN: 15618625     EISSN: None     Source Type: Journal    
DOI: 10.1002/asjc.194     Document Type: Article

References (30)

1. Ramadge, P. and W. Wonham, "Supervisory control of a class of discrete-event processes," SIAM J. Control Optim., Vol. 25, No. 1, pp. 206-230 (1987).
2. Ramadge, P. and W. Wonham, "Modular feedback logic for discrete event systems," SIAM J. Control Optim., Vol. 25, No. 3, pp. 1202-1218 (1987).
3. Ramadge, P. and W. Wonham, "The control of discrete event systems," Proc. IEEE, Special Issue Discrete Event Systems, Vol. 77, No. 1, pp. 81-98 (1989).
4. Wonham, W. and P. Ramadge, "On the supremal controllable sublanguages of a given language," SIAM J. Control Optim., Vol. 25, No. 3, pp. 637-659 (1987).
5. Li, Y. and W. Wonham, "Control of vector discrete-event systems I-the base model," IEEE Trans. Autom. Control, Vol. 38, No. 8, pp. 1214-1227 (1993).
6. Wong, K. and W. Wonham, "Modular control and coordination of discrete-event systems," Discrete Event Dyn. Syst., Vol. 8, No. 3, pp. 247-297 (1998).
7. Rudie, K. and W. Wonham, "Think globally, act locally: decentralized supervisory control," IEEE Trans. Autom. Control, Vol. 37, No. 11, pp. 1692-1708 (1992).
8. Giua, A., "PN techniques for supervisory control of discrete event systems," Proc. 1st Int. Workshop Manuf. PNs, Osaka, Japan, pp. 1-21 (1996).
9. Holloway, L. and B. Krogh, "Synthesis of feedback logic for a class of controlled Petri nets," IEEE Trans. Autom. Control, Vol. 35, No. 5, pp. 514-523 (1990).
10. Li, Z. W. and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst. Man Cybern. Part A, Vol. 38, No. 3, pp. 667-679 (2008).
11. David, R. and H. Alia, Petri Nets and Grafcet, Prentice-Hall, Englewood Cliffs, NJ (1992).
12. Cho, Y. and W. Kwon, "Inhibitor arc based state avoidance controller for supervisory control of discrete event systems modeled as automation Petri nets," Int. J. Intell. Control Syst., Vol. 3, No. 3, pp. 297-325 (1999).
13. Fanti, M. and M. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst. Man Cybern. Part A, Vol. 34, No. 1, pp. 5-22 (2004).
14. Giua, A. and F. DiCesare, "Supervisory design using Petri nets," Proc. 30th Int. Conf. Decis. Control, Brighton, U.K., pp. 92-97 (1991).
15. Li, Z. W., M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. Syst. Man Cybern. Part C, Vol. 38, No. 2, pp. 173-188 (2008).
16. Chen, Y.-L. and F. Lin, "An optimal effective controller for discrete event systems," Asian J. Control, Vol. 10, No. 4, pp. 393-404 (2008).
17. Ho, Y. C. and Cassandras, "Computing costate variable for discrete-event systems," Proc. 19th Int. Conf. Decis. Control, Albuquerque, NM, pp. 690-700(1980).
18. Giua, A., F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," Proc. IEEE Int. Conf. Syst., Man Cybern., Chicago, Illinois, U.S.A., pp. 974-979 (1992).
19. Uzam, M. and W. Wonham, "A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets," Int. J. Adv. Manuf. Technol, Vol. 28, No. 7-8, pp. 747-760 (2006).
20. Feng, L. and W. Wonham, "Computationally efficient supervisor design: abstraction and modularity," Proc. 8th WODES, U. Michigan, Ann Arbor, MI, pp. 3-8 (2006).
21. Feng, L. and W. Wonham, "Computationally efficient supervisor design: control flow decomposition," Proc. 8th WODES, U. Michigan, Ann Arbor, MI, pp. 9-14 (2006).
22. Wonham, W., "Supervisory control of discrete-event systems," http://www.control.utoronto.ca/DES/ (2009).
23. Feng, L., K. Cai, and W. Wonham, "A structural approach to the non-blocking supervisory control of discrete-event system," Int. J. Adv. Manuf. Technol. (2008).
24. XPTCT. Design software for SCT, ECE Dept, University of Toronto, http://www.control.toronto. edu/DES (2009).
25. Iordache, M. and P. Antsaklis, "Supervision based on place invariants: a survey," Discrete Event Dyn. Syst., Vol. 16, No. 4, pp. 419-557 (2006).
26. Lin, F. and W. Wonham, "Decentralized control and coordination of discrete-event systems with partial observation," IEEE Trans. Autom. Control, Vol. 35, No. 12, pp. 1330-1337 ( 1990).
27. Iordache, M. and P. Antsaklis, Supervisory Control of Concurrent Systems-A Petri Net Structural Approach, Birkhauser, Boston (2006).
28. Iordache, M. and P. Antsaklis, "Decentralized control of Petri nets," Proc. Workshop DES Control, Int. Conf. Appl. Theory Petri Nets, Eindhoven, The Netherlands, pp. 143-158 (2003).
29. Iordache, M. and P. Antsaklis, "Decentralized supervision of Petri nets," IEEE Trans. Autom. Control, Vol. 51, No. 2, pp. 376-381 (2006).
30. PNetLab Design software for Petri nets, Automatic Control Group, Universita degli Studi di Salerno, http://www.automatica.unisa.it/PNetLab% 20Download%20Page/pnetlab.htm.