Ladder logic implementation of Ramadge-Wonham supervisory controller

In this paper we present an algorithm to convert a controller automaton synthesized by the Ramadge-Wonham (RW) method to a ladder logic diagram. The subject of conversion from RW controller to ladder logic is not new and has already been addressed by many researchers. Our method takes a new look at this subject. We not only make sure that the same sequences of events can be generated by both the RW controller and its converted ladder logic (as done by other related literature), but we also guarantee the implementation of the converted ladder logic as a PLC program. Specifically, we use the IDEF3 standard, which views a manufacturing system as a set of activities and their required resources. We consider the resource events to define the forcing mechanisms of ladder logic, as the original RW controller cannot model these mechanisms. We also use external signals to resolve the inherent conflicts of RW controller that cannot be tolerated under a forcing controller such as ladder logic. Two examples are presented to illustrate the applicability of the proposed algorithm.

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

[2]  Jin S. Lee,et al.  The state equation of Petri net for the LD program , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[3]  Janan Zaytoon.  Specification and design of logic controllers for automated manufacturing systems , 1996 .

[4]  Murat Uzam,et al.  Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams , 1996, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96.

[5]  Beno Benhabib,et al.  A hybrid PC/PLC architecture for manufacturing system control-implementation , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[6]  Mohsen A. Jafari,et al.  A rule-based system for generating a ladder logic control program from a high-level systems model , 1994, J. Intell. Manuf..

[7]  MengChu Zhou,et al.  Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.

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

[9]  Jing Liu,et al.  Ramadge-Wonham supervisory control of mobile robots: lessons from practice , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

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

[11]  W. M. Wonham,et al.  Discrete event systems modeling and control of a manufacturing testbed , 1995, Proceedings 1995 Canadian Conference on Electrical and Computer Engineering.

[12]  MengChu Zhou,et al.  Design of sequence controllers using Petri net models , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[13]  MengChu Zhou,et al.  Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..

[14]  T. Krairojananan,et al.  A PLC program generator incorporating sequential circuit synthesis techniques , 1998, IEEE. APCCAS 1998. 1998 IEEE Asia-Pacific Conference on Circuits and Systems. Microelectronics and Integrating Systems. Proceedings (Cat. No.98EX242).

[15]  MengChu Zhou,et al.  Evaluating the complexity of Petri nets and ladder logic diagrams for sequence controllers design in flexible automation , 1994, ETFA '94. 1994 IEEE Symposium on Emerging Technologies and Factory Automation. (SEIKEN) Symposium) -Novel Disciplines for the Next Century- Proceedings.

[16]  L. Lenart.  Formal analysis of existing control software in cyclic closed production line , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).

[17]  MengChu Zhou,et al.  A comparison of relay ladder logic programming and Petri net approach for sequential industrial control systems , 1995, Proceedings of International Conference on Control Applications.

[18]  Bengt Lennartson,et al.  Synchronised execution of discrete event models using sequential function charts , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

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

[20]  MengChu Zhou,et al.  Automatic generation of Petri net models from logic control specifications , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

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