Ladder logic implementation of Ramadge-Wonham supervisory controller

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 383-389

  Liu, Jing ^a   Darabi, Houshang ^a  

^a 1120 Science and Engineering Offices   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONTROL SYSTEM SYNTHESIS; DISCRETE EVENT SIMULATION; LADDERS; MANUFACTURE;

CONTROLLER AUTOMATON; EXTERNAL SIGNALS; LADDER LOGIC; LADDER LOGIC DIAGRAM; PLC PROGRAMS; SUPERVISORY CONTROLLERS;

CONTROLLERS;

EID: 84936763686     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167715     Document Type: Conference Paper

References (26)

1. M. Fabian, A. Hellgren, "PLC-based Implementation of Supervisory Control for Discrete Event Systems", Proceedings of the 37the IEEE conference on Decision & Control, Tampa, Florida, USA, Dec. 1998.
2. B. A. Brandin, "The Real-Time Supervisory Control of an Experimental Manufacturing Cell", IEEE Transactions on Robotics and Automation, Vol. 12, No.1, Feb. 1996.
3. J. Zaytoon, "Specification and Desgin of Logic Controllers for Automated Manufacturing Systems", Robotics & Computer-Integrated Manufacturing, Vol. 12, No. 4, pp. 353-366, 1996.
4. A. Ramirez-Serrano, S.C. Zhu, S.K.H. Chan, S.S.W. Chan and B. Benhabib, "A Hybrid PC/PLC Architecture for Manufacturing System Control-Implementation", 2000 IEEE International Conference on Systems, Man, and Cybernetics, Vol.3, 2000.
5. T. Krairojananan and S. Suthapradit, "A PLC Program Generator Incorporating Sequential Circuit Synthesis Techniques", 1998 IEEE Asia-Pacific Conference on Circuits and Systems, 1998.
6. M. Uzam, A. H. Jones, "Towards a Unified Methodology for Converting Colored Petri Net Controllers into Ladder Logic Using TPLL: Part I-Methodology", in WODES'96-The 3rd Workshop on Discrete Event Systems, Edinburgh, Scotland, UK, 1996.
7. A. Hellgren, M. Fabian and B. Lennartson, "Synchronised Execution of Discrete Event Models Using Sequential Function Charts", Proceedings of the 38th Conference on Decision & Control, Phoenix, Arizona, Dec. 1999.
8. L. Lenart, "Formal Analysis of Existing Control Software in Cyclic Closed Production Line", 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics Proceedings 8-12, Jul. 2001.
9. V. Vyatkin, N. Ishii, and T. Hayashi, "Event-Driven Improvement of Response Time for Logic Controllers", in WODES'96-The 3rd Workshop on Discrete Event Systems, Edinburgh, Scotland, UK, 1996.
10. G. B. Lee, J. S. Lee, "The State Equation of Petri Net for the LD Program", 2000 IEEE International Conference on Systems, Man, and Cybernetics, Vol. 4, 2000.
11. M. Uzam, A. H. Jones, and N. Ajlouni, "Conversion of Petri Net Controllers for Manufacturing Systems into Ladder Logic Diagrams", Proceedings of 1996 IEEE Conference on Emerging Technologies and Factory Automation, Vol. 2, 1996.
12. C.G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Norwell, 1999.
13. S.C. Lauzon, J.K. Mills and B. Benhabib, "An Implementation Methodology for the Supervisory Controller for Flexible Manufacturing Workcells", SME Journal of Manufacturing Systems, Vol. 16, No.2, pp. 91-101, 1997.
14. Enterprise-Control Systems Integration Part I: Models and Terminology, ANSI/ISA-95.00.01-2000, ISA, 2000.
15. T. O. Boucher, Computer Automation in Manufacturing Systems, Chapman & Hall, London, 1996.
16. M. A. Jafari, and T. O. Boucher, "Rule-based system for generating a ladder logic control program from a high-level systems model", Journal of Intelligent Manufacturing, Vol. 5, No.2, pp. 103-120, Apr. 1994.
17. K. Venkatesh, M.C. Zhou, and R. Caudill, "Evaluating the Complexity of Petri nets and Ladder Logic Diagrams for Sequence Controllers Design in Flexible Automation", Proceedings of the 1994 IEEE Symposium on Emerging Technologies & Factory Automation, pp. 428-435, 1994.
18. K. Venkatesh, M.C. Zhou, and R. Caudill, "Design of sequence controllers using Petri net models", Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Part 4 (of 5), pp. 3469-3474, 1995.
19. M. C. Zhou and E. Twiss, "A comparison of relay ladder logic programming and Petri net approach for sequential industrial control systems Control Applications", Proceedings of the 4th IEEE Conference on Intelligent Systems for the 21st Century, pp.748-753, 1995
20. K. Venkatesh, M.C. Zhou and R. Caudill, "Automatic generation of Petri net models from logic control specifications", Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, pp. 242-247, 1994.
21. M.C. Zhou, and E. Twiss, "Design of industrial automated systems via relay ladder logic programming and Petri nets", IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, Vol. 28 Issue 1, Feb. pp. 137-150, 1998.
22. K. Venkatesh, and M.C. Zhou and R. J. Caudill, "Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system", IEEE Transactions on Industrial Electronics, Vol. 41 Issue 6, pp. 611-619, Dec. 1994.
23. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event Processes", SIAM Journal of Control and Optimization, vol. 25, No.1, pp. 206-230, 1987.
24. R.J. Leduc, and W. M. Wonham, "Discrete event systems modeling and control of a manufacturing testbed", Canadian Conference on Electrical and Computer Engineering, Vol. 2, pp. 793-796, 1995.
25. http://www.uic.edu/~hdarabi/labs/html
26. J. Liu and H. Darabi, "Ramadge and Wonham Supervisory Control of Mobile Robots-Lessons from Practice", Proceedings of 2002 International Conference on Robotics and Automation, Vol.1, pp.670-675, 2002.