A general technique for the PLC-Based implementation of RW supervisors with time delay functions

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.

[1]  D. Gouyon *,et al.  Pragmatic approach for modular control synthesis and implementation , 2004 .

[2]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[3]  S. Manesis,et al.  Automated synthesis of Ladder automation circuits based on state-diagrams , 2005, Adv. Eng. Softw..

[4]  Beno Benhabib,et al.  Application of discrete-event-system theory to flexible manufacturing , 1996 .

[5]  José Eduardo Ribeiro Cury,et al.  A Model for PLC Implementation of Supervisory Control of Discrete Event Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[6]  Murat Uzam,et al.  The real-time supervisory control of an experimental manufacturing system based on a hybrid method , 2009 .

[7]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[8]  Beno Benhabib,et al.  An implementation methodology for the supervisory control of flexible manufacturing workcells , 1997 .

[9]  Thomas A. Henzinger,et al.  A Determinizable Class of Timed Automata , 1994, CAV.

[10]  A. RAMIREZ-SERRANO,et al.  Moore Automata for the Supervisory Control of Robotic Manufacturing Workcells , 2000, Auton. Robots.

[11]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[12]  B.A. Brandin,et al.  The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..

[13]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[14]  Shigemasa Takai,et al.  A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[15]  Murat Uzam,et al.  Timed transition automata and their ladder logic implementation , 2009, 2009 XXII International Symposium on Information, Communication and Automation Technologies.

[16]  Thomas A. Henzinger,et al.  Event-Clock Automata: A Determinizable Class of Timed Automata , 1999, Theor. Comput. Sci..

[17]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[18]  Kwang-Hyun Cho,et al.  Supervisory control of real-time discrete event systems under bounded time constraints , 2004 .

[19]  Murat Uzam,et al.  A new approach for the ladder logic implementation of Ramadge-Wonham supervisors , 2009, 2009 XXII International Symposium on Information, Communication and Automation Technologies.

[20]  Salman Kurtulan,et al.  An implementation methodology for supervisory control theory , 2008 .

[21]  M.H. de Queiroz,et al.  Synthesis and implementation of local modular supervisory control for a manufacturing cell , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[22]  P. Gohari,et al.  Implementing supervisory control maps with PLC , 2007, 2007 American Control Conference.

[23]  Murat Uzam,et al.  The concept of postponed event in timed discrete event systems and its PLC implementation , 2010, 2010 IEEE International Conference on Systems, Man and Cybernetics.

[24]  Beno Benhabib,et al.  A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation , 2002, J. Intell. Manuf..

[25]  Jing Liu,et al.  Ladder logic implementation of Ramadge-Wonham supervisory controller , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[26]  Martin Fabian,et al.  PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[27]  Patricia Bouyer,et al.  Are Timed Automata Updatable? , 2000, CAV.