Controller synthesis with highly simplified linear constraints

Asian Journal of Control

Volumn 15, Issue 1, 2013, Pages 80-94

  Dideban, Abbas ^a   Zareiee, Meysam ^a   Alla, Hassane ^b  

^a SEMNAN UNIVERSITY   (Iran)

^b GIPSA LAB   (France)

Author keywords

controller synthesis; Discrete event system (DES); forbidden state; Petri net; supervisory control

Indexed keywords

CONTROL SYSTEM SYNTHESIS; DISCRETE EVENT SIMULATION; PETRI NETS;

CONTROL PLACE; CONTROLLER SYNTHESIS; FORBIDDEN STATE; LINEAR CONSTRAINTS; PERMISSIVE CONTROLLERS; SUPERVISORY CONTROL;

CONTROLLERS;

EID: 84872281997     PISSN: 15618625     EISSN: 19346093     Source Type: Journal    
DOI: 10.1002/asjc.528     Document Type: Article

References (39)

1. Ramadge, P. J., and, W. M. Wonham, " Modular feedback logic for discrete event systems," SIAM J. Control Optimiz., Vol. 25, No. 5, pp. 1202-1218 (1987).
2. Ramadge, P. J., and, W.M. Wonham, " The control of discrete event systems," Dynamics of discrete event systems [Special Issue]. Proc. IEEE, Vol. 77, No. 1, pp. 81-98 (1989).
3. Giua, A., Petri Nets as Discrete Event Models for Supervisory Control. Ph.D. Thesis, Troy, New York, NY (1992).
4. Moody, J.O., and, P. Antsaklis, " Petri net supervisor for DES with uncontrollable and unobservable transition," IEEE Trans. Autom. Control, Vol. 45, No. 3, pp. 462-476 (2000).
5. Krogh, B. H., and, L. E. Holloway, " Synthesis of feedback control logic for discrete manufacturing systems," Automatica, Vol. 27, No. 4, pp. 641-651 (1991).
6. Holloway, L. E., X. Guan, and, L. Zhang, " A generalization of state avoidance policies for controlled Petri Nets," IEEE Trans. Autom. Control, Vol. AC-41, No. 6, pp. 804-816 (1996).
7. Park, J., and, S.A. Reveliotis, " Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Robot Automat., Vol. 16, No. 2, pp. 190-195 (2000).
8. Uzam, M., " An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions," Int. J. Adv. Manuf. Technol., Vol. 19, No. 3, pp. 192-208 (2002)
9. Ghaffari, A., N. Rezg, and, X. L. Xie, " Design of live and maximally permissive Petri Net controller using the theory of regions," IEEE Trans. Robot Automat., Vol. 19, No. 1, pp. 137-142 (2003).
10. Giua, A., and, X. Xie, " Control of safe ordinary Petri Nets using unfolding," Discrete Event Dyn. Syst. Theory Applicat., Vol. 15, 349-373 (2005).
11. Reveliotis, S. A., and, J. Choi, " Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri Nets through the theory of regions," Lecture Notes in Computer Science: Petri Nets and Other Models of Concurrency, pp. 322-341 (2006)
12. Basile, F., 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).
13. Dideban, A., and, H. Alla, " Solving the problem of forbidden states by feedback control logical synthesis," Proc. 32nd Conf. IEEE Ind. Electron. Soc., Paris, France (2006).
14. Li, Z., M. Uzam, and, M. Zhou, " Deadlock control of concurrent manufacturing process sharing finite resources," Int. J. Adv. Manuf. Tech., Vol. 38, pp. 787-800 (2008).
15. Dideban, A., and, H. Alla, " Feedback control logic synthesis for non safe Petri nets," The 13th IFAC Symposium on Information Control Problems in Manufacturing, Moscow, Russia (2009).
16. Xing, K., M. C. Zhou,., H. Liu, and, F. Tian, " Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems," IEEE Trans. Syst. Man Cybern. A: Syst. Humans, Vol. 39, pp. 188-199 (2009).
17. Li, Z. W., and, M. C. Zhou, " Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems," IEEE Trans. Syst. Man Cybern. A: Syst. Humans, Vol. 34, pp. 38-51 (2004).
18. Li, Z. W., and, M. C. Zhou, " Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets," IEEE Trans. Ind. Inform., Vol. 2, pp. 313-325 (2006).
19. Li, Z. W., H. S. Hu, and, R. Wang, " Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets," IEEE Trans. Syst. Man Cybern. Part C-Applicat. Rev., Vol. 37, pp. 517-526 (2007).
20. Li, Z. W., M. C. Zhou, and, M. Jeng, " A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the theory of Regions," IEEE Trans. Autom. Sci. Eng., Vol. 5, pp. 182-188 (2008).
21. Li, Z. W., S. Zhu, and, M. C. Zhou, " A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems," IEEE Trans. Syst. Man Cybern. Part C-Applicat. Rev., Vol. 39, pp. 156-169 (2009).
22. 3PMR to reach all states," Asian J. Control, Vol. 14, No. 1 pp. 278-283 (2012).
23. Li, S. Y., and, Z. W. Li, " Structure reduction of liveness-enforcing Petri nets using Mixed Integer Programming," Asian J. Control, Vol. 14, No. 1 (2012). DOI: 10.1002/asjc.742.
24. Uzam, M., Z. W. Li, and, M. C. Zhou, " Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS," Int. J. Adv. Manuf. Tech., Vol. 35, pp. 150-168 (2007).
25. Li, Z. W., and, H. S. Hu, " On systematic methods to remove redundant monitors from liveness-enforcing net supervisors," Comp. Ind. Eng., Vol. 56, pp. 53-62 (2009).
26. Giua, A., F. M. DiCesare, and, M. Silva, " Generalized mutual exclusion constraints on nets with uncontrollable transitions," Proc. IEEE Int. Conf. Syst. Man Cybern., pp. 974-979 (1992).
27. Yamalidou, K., 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).
28. Dideban, A., and, H. Alla, " From forbidden state to linear constraints for the optimal supervisory control," Control Eng. App. Inform. (CEAI)., Vol. 7, No. 3, pp. 48-55 (2005).
29. Dideban, A., and, H. Alla, " Reduction of constraints for controller synthesis based on safe Petri Nets," Automatica, Vol. 44, No. 7, pp. 1697-1706 (2008).
30. Uzam, M., and, A. Jones, " Discrete event control system design using automation Petri nets and their ladder diagram implementation," Int. J. Adv. Manuf. Tech., Vol. 14, No. 10, pp. 716-728 (1998).
31. Peng, S., and, M. Zhou, " Ladder Diagram Petri-Net-based discrete event control design methods," IEEE Trans. Syst. Man Cybern. Part C-Applicat. Rev., Vol. 34, No. 4, November (2004).
32. Chen, Y., Z. W. 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, Apr (2011).
33. Li, Z. W., M. M. Yan, and, M. C. Zhou, " Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets," IEEE Trans. Syst. Man Cybern. Part C-Applicat. Rev., Vol. 40, pp. 330-340 (2010).
34. Chen, Y., and, Z. W. Li, "Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems," Automatica, Vol. 47, No. 5, pp. 1028-1034, May (2011).
35. Kumar, R., and, L. E. Holloway, " Supervisory control of deterministic Petri nets with regular specification languages," IEEE Trans. Autom. Control, Vol. 41, No. 2, pp. 245-249 (1996).
36. David, R., and, H. Alla, Discrete, continuous, and hybrid Petri Nets. Springer, Berlin, Germany (2005).
37. Morris Mano, M., Digital design. Prentice Hall, Englewood Cliffs, NJ (2001).
38. Kattan, B., Synthèse structurelle d'un contrôleur basée sur le Grafce, thesis, UJF, France (2004).
39. Wonham, W. M., and, P. J. Ramadge, " On the supremal controllable sublanguage of a given language," SIAM. J. Control Optimiz., Vol. 25, pp. 637-659 (1987).