An improved hybrid approach for the PLC-based implementation of reduced RW supervisors

A successful application of a hybrid (mixed Petri net/automaton) approach for the real-time supervisory control of an experimental manufacturing system was reported recently. The hybrid approach includes a Ramadge{ Wonham (RW) supervisor in the form of an automaton. The reduced RW supervisor oers fewer states for the programmable logic controller (PLC) implementation of the hybrid controller with less memory requirements, but due to a problem called the avalanche eect, the PLC implementation of the hybrid controller with the reduced RW supervisor was not possible. This paper proposes a method to both detect and eliminate the avalanche eect problem for a RW supervisor in the form of an automaton, which enables the PLC implementation of the hybrid controller with the reduced RW supervisor. In addition, this paper improves the recently proposed hybrid approach by including the reduced RW supervisor and the avalanche eect detection and elimination method. The applicability of the improved hybrid approach

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

[2]  C. Petri.  Kommunikation mit Automaten , 1962 .

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

[4]  Murat Uzam,et al.  A New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems , 2002 .

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

[6]  W. M. Wonham,et al.  A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets , 2006 .

[7]  Murat Uzam,et al.  An effective method for detection and elimination of avalanche effect problem , 2010, 2010 IEEE International Conference on Mechatronics and Automation.

[8]  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.

[9]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[10]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[11]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

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

[13]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[14]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

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

[16]  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..

[17]  MengChu Zhou,et al.  Ladder diagram and Petri-net-based discrete-event control design methods , 2004, IEEE Trans. Syst. Man Cybern. Part C.

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

[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]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

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

[22]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[23]  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).

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

[25]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

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

[27]  Murat Uzam.  Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations , 1998 .

[28]  Murat Uzam,et al.  Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System , 2000 .

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

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

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