Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions

2013 European Control Conference, ECC 2013

Volumn , Issue , 2013, Pages 143-148

  Basile, Francesco ^a   Cordone, Roberto ^b   Piroddi, Luigi ^c  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

^c POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

CONTROL OBJECTIVES; GENERAL CONSTRAINTS; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; INTEGRATED MODELING APPROACHES; LOGICAL PREDICATE; PETRI NET MODELS; PRODUCTION PROCESS; REDUNDANCY PROBLEMS;

SUPERVISORY PERSONNEL;

EID: 84893211725     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2013.6669382     Document Type: Conference Paper

References (23)

1. M. Zhou and K. Venkatesh, Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
2. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions, " in IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, USA, 1992, pp. 974-979.
3. th IEEE Conf. on Decision and Control, vol. 4, Kobe, Japan, December 1996, pp. 4433-4438.
4. Y. Li and W. Wonham, "Control of vector discrete-event systems II - controller synthesis, " IEEE Trans. on Automatic Control, vol. 39, no. 3, pp. 512-531, March 1994.
5. B. Krogh and L. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems, " Automatica, vol. 27, no. 4, pp. 641- 651, July 1991.
6. F. Basile, P. Chiacchio, and C. Carbone, "Feedback control logic for backward conflict free choice nets, " IEEE Trans. on Automatic Control, vol. 52, no. 3, pp. 387-400, March 2007.
7. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants, " Automatica, vol. 32, no. 1, pp. 15-28, 1996.
8. M. Uzam, Z. Li, and M. Zhou, "Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS, " Int. J. Adv. Manuf. Technol., vol. 35, no. 1-2, pp. 150-168, 2007.
9. L. Piroddi, R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets, " IEEE Trans. Syst. Man Cybern. Part A, Syst. Humans, vol. 38, no. 6, pp. 1337-1348, 2008.
10. L. Piroddi, R. Cordone, and I. Fumagalli, "Combined siphon and marking generation for deadlock prevention in Petri nets, " IEEE Trans. Syst. Man Cybern. Part A, Syst. Humans, vol. 39, no. 3, pp. 650-661, 2009.
11. th IFAC Int. Workshop on Discrete Event Systems, Berlin, Germany, 2010, pp. 277-284.
12. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune, "Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case, " IEEE Trans. Autom. Control, vol. 56, no. 8, pp. 1818-1833, 2011.
13. Y. Chen, Z. Li, M. Khalgui, and O. Mosbahi, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems, " IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, 2011.
14. Y. Chen and Z. Li, "Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, " Automatica, vol. 47, pp. 1028-1034, 2011.
15. th IEEE Conf. on Automation Science and Engineering, Toronto, Canada, 2010, pp. 451-458.
16. R. Cordone and L. Piroddi, "Parsimonious monitor control of Petri net models of FMS, " IEEE Trans. Syst. Man Cybern., Part A Syst. Humans, 2012, [to appear].
17. st IEEE Conf. on Decision and Control, Maui (Hawaii), USA, 2012.
18. T. Murata, "Petri nets: properties, analysis and application, " Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
19. I. Fumagalli, L. Piroddi, and R. Cordone, "A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets, " in Proc. American Control Conference, ACC2010, Baltimore (MD), USA, 2010, pp. 3365-3370.
20. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive petri net controller using the theory of regions, " IEEE Trans. On Robotics and Automation, vol. 19, no. 1, pp. 137-141, February 2003.
21. J. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions, " IEEE Trans. on Aut. Control, vol. 45, no. 3, pp. 462-476, March 2000.
22. P. Ramadge and W. Wonham, "The control of discrete-event systems, " Proc. of IEEE, vol. 77, no. 1, pp. 81-98, January 1989.
23. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places, " Automatica, vol. 42, pp. 995-1004, 2006.