Abstract
The Supervisory Control Theory (SCT) introduced by Ramadge–Wonham (RW) is a general theory to design supervisors (controllers) for discrete event systems. Although over the two decades SCT has received wide attention in academia, industrial applications are very few, due to the fact that there is a discrepancy between the abstract RW supervisor and its physical implementation. In this paper, an easy to use, general and practical technique is proposed for the PLC-based implementation of RW supervisors with time delay functions. The applicability of the proposed method is demonstrated by means of a PLC-based real-time control of an experimental manufacturing system.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98
Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Contr Optim 25(1):206–230
Fabian M, Hellegren A (1998) PLC-based implementation of supervisory control for discrete event systems. in Proc. 37th IEEE Conf. Dec. Contr., Tampa, Florida, USA, pp. 3305–3310
Brandin BA (1996) The real-time supervisory control of an experimental manufacturing cell. IEEE Trans Robot Autom 12(1):1–14
Lauzon SC, Ma AKL, Mills JK, Benhabib B (1996) Application of discrete-event-system theory to flexible manufacturing. IEEE Cont. Systems Magazine, pp. 41–48
Lauzon SC, Mills JK, Benhabib B (1997) An implementation methodology for the supervisory control of flexible manufacturing workcells. J Manuf Syst 16(2):91–101
Ramirez-Serrano A, Zhu SC, Benhabib B (2000) Moore automata for the supervisory control of robotic manufacturing workcells. Auton Robot 9:59–69
Ramirez-Serrano A, Zhu SC, Chan SKH, Chan SSW, Ficocelli M, Benhabib B (2002) A hybrid PC/PLC architecture for manufacturing-system control-theory and implementation. J Intell Manuf 13:261–281
De Queiroz MH, Cury JER (2002) Synthesis and implementation of local modular supervisory control for a manufacturing cell. in Proc. 6th Int. Workshop on Discrete Event Syst., Zaragoza, Spain, pp. 377–382
Vieira AD, Cury JER, De Queiroz MH (2006) A model for implementation of supervisory control of a discrete event systems. in Proc. IEEE Conf. on Emerging Tech. and Factory Automation, ETFA’2006, pp. 225–232
Gouyon D, Petin JF, Gouin A (2004) Pragmatic approach for modular synthesis and implementation. Int J Prod Res 42(14):2839–2858
Liu J , Darabi H (2002) Ladder logic implementation of Ramadge-Wonham supervisory controller. in Proc. 6th Int. Workshop on Discrete Event Syst., Zaragoza, Spain, pp. 383–389
Moniruzzaman M , Gohari P (2007) Implementing supervisory control maps with PLC. in Proc. 2007 American Contr. Conf., New York City, USA, pp. 3594–3599
Manesis S, Akantziotis K (2005) Automated synthesis of ladder automation circuits based on state-diagrams. Adv Eng Softw 36:225–233
Hasdemir İT, Kurtulan S, Gören L (2008) An implementation methodology for supervisory control theory. Int J Adv Manuf Tech 36:373–385
David R, Alla H (2005) Discrete, continuous, and hybrid Petri nets. Springer
Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci B 126:183–235
Fix L, Alur R, Henzinger TA (1994) A determinizable class of timed automata. In: David L (ed) Dill, editor, sixth International Conference on Computer-Aided Verification CAV, volume 818 of Lecture Notes in Computer Science. Springer, California, pp 1–13
Larsen KG, Pettersson P, Yi W (1995) Model-checking for real-time systems. in Proc. of Fundamentals of Computation Theory, Lecture Notes in Computer Science, vol. 965, pp. 62–88
Bouyer P, Dufourd C, Fleury E, Petit A (2000) Are timed automata updatable. in Proc. 12th Int. Conf. Computer Aided Verification (CAV’2000), Chicago, IL, USA. Lecture Notes in Computer Science, vol. 1855, pp. 464–479. Springer
Alur R, Fix L, Henzinger TA (1999) Event-clock automata: a determinizable class of timed automata. Theor Comput Sci 211:253–273
Barandin A, Wonham WM (1994) Supervisory control of timed discrete event systems. IEEE Trans. on Autom. Control, vol.39, no.2
Takai S, Ushio T (2006) A new class of supervisors for timed discrete event systems under partial observation. Discrete Event Dyn Syst Theor Appl 16:257–278
Park S-J, Cho K-H, Lim J-T (2004) Supervisory control of real time discrete event system under bounded time constraints. IEEE Proc Control Theory Appl 151:347–352
Uzam M, Gelen G, Dalcı R (2009) A new approach for the ladder logic implementation of Ramadge–Wonham supervisors. in Proc. 22nd Int. Symp. on Information, Communication and Automation Technologies, Sarajevo, Bosnia and Herzegovina, October 29–31, pp. 113–119
Uzam M, Gelen G, Dalcı R (2009) Timed transition automata and their ladder logic implementation. in Proc. 22nd International Symposium on Information, Communication and Automation Technologies, Sarajevo, Bosnia and Herzegovina, October 29–31, pp. 120–127
Gelen G, Uzam M, Dalcı R (2010) The concept of postponed event in timed discrete event systems and its PLC implementation. in Proc. 2010 IEEE Int. Conf. on Syst. Man, and Cybern. (SMC 2010), İstanbul, Turkey, October 10–13, pp. 2753–2759
TCT (2011). A software tool supporting supervisory control theory. Systems Control Group, ECE Dept., University of Toronto, Posted at URL: www.control.utoronto.ca/DES
Wonham WM. Supervisory control of discrete event systems. ECE dept, University of Toronto, 1997–2011, http://www.control.utoronto.ca/DES/, Updated 2011.07.01
IEC 61131-3 (2003) Programmable controllers—part 3: programming languages
Uzam M, Gelen G (2009) The real-time supervisory control of an experimental manufacturing system based on a hybrid method. Control Eng Pract 17(10):1174–1189
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Uzam, M. A general technique for the PLC-Based implementation of RW supervisors with time delay functions. Int J Adv Manuf Technol 62, 687–704 (2012). https://doi.org/10.1007/s00170-011-3817-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-011-3817-1