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 offers 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 effect, 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 effect 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 effect detection and elimination method. The applicability of the improved hybrid approach is demonstrated by the PLC-based real-time control of an experimental manufacturing system.

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 offers 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 effect, 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 effect 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 effect detection and elimination method. The applicability of the improved hybrid approach is demonstrated by the PLC-based real-time control of an experimental manufacturing system.

___

  • P.J. Ramadge, W.M. Wonham, “Supervisory control of a class of discrete event processes”, SIAM Journal on Control and Optimization, Vol. 25, pp. 206–230, 1987.
  • P.J. Ramadge, W.M. Wonham, “The control of discrete event systems”, Proceedings of IEEE, Vol. 77, pp. 81–98, 19 W.M. Wonham, P.J. Ramadge, “On the supremal controllable sublanguage of a given language”, SIAM Journal on Control and Optimization, Vol. 25, pp. 637–659, 1987.
  • A. Giua, “Petri net techniques for supervisory control of discrete event systems”, 1st International Workshop on Manufacturing and Petri Nets, pp. 1–21, 1996.
  • A. Giua, F. DiCesare, M. Silva, “Generalized mutual exclusion constraints on nets with uncontrollable transitions”, IEEE International Conference on Systems, Man, and Cybernetics, pp. 974–979, 1992.
  • M. Uzam, “Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations”, PhD, University of Salford, Salford, UK, 1998.
  • M. Uzam, A.H. Jones, “Design of a discrete event control system for a manufacturing system using token passing ladder logic”, IMACS Multiconference, Symposium on Discrete Events and Manufacturing Systems, pp. 513–518, 19 M. Uzam, A.H. Jones, “Discrete event control system design using automation Petri nets and their ladder diagram implementation”, The International Journal of Advanced Manufacturing Technology, Vol. 14, pp. 716–728, 1998.
  • M. Uzam, A.H. Jones, I. Y¨ ucel, “Using a Petri-net-based approach for the real-time control of an experimental manufacturing system”, The International Journal of Advanced Manufacturing Technology, Vol. 16, pp. 498–515, 2000.
  • M. Uzam, A.H. Jones, “A new Petri-net-based synthesis technique for supervisory control of discrete event systems”, Turkish Journal of Electrical Engineering & Computer Sciences, Vol. 10, pp. 85–109, 2002.
  • M. Uzam, W.M. Wonham, “A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets”, The International Journal of Advanced Manufacturing Technology, Vol. 28, pp. 747–760, 200 M. Uzam, G. Gelen, “The real-time supervisory control of an experimental manufacturing system based on a hybrid method”, Control Engineering Practice, Vol. 17, pp. 1174–1189, 2009.
  • B.A. Brandin, “The real-time supervisory control of an experimental manufacturing cell”, IEEE Transactions on Robotics and Automatation, Vol. 12, pp. 1–14, 1996.
  • S.C. Lauzon, J.K. Mills, B. Benhabib, “An implementation methodology for the supervisory control of flexible manufacturing workcells”, Journal of Manufacturing Systems, Vol. 16, pp. 91–101, 1997.
  • A. Ramirez-Serrano, S.C. Zhu, B. Benhabib, “Moore automata for the supervisory control of robotic manufacturing workcells”, Autonomous Robots, Vol. 9, pp. 59–69, 2000.
  • A. Ramirez-Serrano, S.C. Zhu, S.K.H. Chan, S.S.W. Chan, M. Ficocelli, B. Benhabib, “A hybrid PC/PLC architecture for manufacturing system control-theory and implementation”, Journal of Intelligent Manufacturing, Vol. 13, pp. 261–281, 2002.
  • M.H. de Queiroz, J.E.R. Cury, “Synthesis and implementation of local modular supervisory control for a manufacturing cell”, 6th International Workshop on Discrete Event Systems, pp. 377–382, 2002.
  • J. Liu, H. Darabi, “Ladder logic implementation of Ramadge-Wonham supervisory controller”, 6th International Workshop on Discrete Event Systems, pp. 383–389, 2002.
  • D. Gouyon, J.F. Petin, A. Gouin, “Pragmatic approach for modular synthesis and implementation”, International Journal of Production Research, Vol. 42, pp. 2839–2858, 2004.
  • S. Manesis, K. Akantziotis, “Automated synthesis of ladder automation circuits based on state-diagrams”, Advances in Engineering Software, Vol. 36, pp. 225–233, 2005.
  • A.D. Vieira, J.E.R. Cury, M.H. de Queiroz, “A model for implementation of supervisory control of a discrete event systems”, IEEE Conference on Emerging Technologies and Factory Automation, pp. 225–232, 2006.
  • M. Moniruzzaman, P. Gohari, “Implementing supervisory control maps with PLC”, American Control Conference, pp. 3594–3599, 2007.
  • M. Uzam, G. Gelen, R. Dalcı, “A new approach for the ladder logic implementation of Ramadge-Wonham supervisors”, 22nd International Symposium on Information, Communication and Automation Technologies, pp. 113–119, 200 M. Fabian, A. Hellgren, “PLC-based implementation of supervisory control for discrete event systems”, Proceedings of the 37th IEEE Conference on Decision and Control, Vol. 3, p. 3305–3310, 1998.
  • ˙I.T. Hasdemir, S. Kurtulan, L. G¨ oren, “An implementation methodology for supervisory control theory”, The International Journal of Advanced Manufacturing Technology, Vol. 36, pp. 373–385, 2008.
  • C.G. Cassandras, S. Lafortune, Introduction to Discrete Event Systems, Dordrecht, Kluwer Academic Publishers, 19 W.M. Wonham, “Supervisory control of discrete event systems”, ECE Department, University of Toronto, 1997– 20 Available at http://www.control.utoronto.ca/DES/, updated 2011.07.01.
  • C.A. Petri, “Kommunikation mit automaten schriften des rheinisch”, Westfalischen Inst. fur Intrumentelle Mathematik and der Universitat Bonn. Translation by C.F. Green, Applied Data Research Inc., Suppl. 1 to Tech Report RADC-TR-65-337, New York, 1962.
  • R. David, H. Alla, Petri Nets, Grafcet: Tools for Modeling Discrete Event Systems, New York, Prentice Hall, 1992. A.H. Jones, M. Uzam, A.H. Khan, D. Karimzadgan, S.B. Kenway, “A general methodology for converting Petri nets into ladder logic: the TPLL methodology”, Rensselaer’s 1st International Conference on Computer Integrated Manufacturing and Automation Technology, pp. 357–362, 1996.
  • S. Peng, M.C. Zhou, “Ladder diagram and Petri net based discrete-event control design methods”, IEEE Transactions on Systems, Man, and Cybernetics Part C, Vol. 34, pp. 523–531, 2004.
  • IEC 61131-3, A Standard of the International Electrotechnical Commission (IEC): Programmable Controllers – Part 3: Programming Languages, 2003.
  • TCT, A Software Tool Supporting Supervisory Control Theory. Systems Control Group, ECE Department, University of Toronto. Available at www.control.utoronto.ca/DES, accessed in 2011.
  • M. Uzam, G. Gelen, R. Dalcı, “An effective method for detection and elimination of avalanche effect problem”, IEEE International Conference on Mechatronics and Automation, pp. 1988–1993, 2010.