The synthesis and PLC implementation of hybrid modular supervisors for real time control of an experimental manufacturing system

Abstract In this paper, synthesis and PLC based implementation of hybrid modular supervisors for real time supervisory control of an experimental manufacturing system are proposed. The hybrid approach couples Ramadge–Wonham (RW) supervisors in the form of automata to uncontrolled PN models through inhibitor arcs. The RW supervisors can be obtained in monolithic or modular forms. In the monolithic case, there is only a single supervisor that has complex structure and huge number of states and events. The modularity of supervisors provides simple and small control structures compared to monolithic ones. Modular hybrid approach offers fewer states for the PLC implementation of the hybrid controller with less memory requirements. The applicability and effectiveness of the modular hybrid approach are demonstrated by the PLC based real-time control of an experimental manufacturing system for different cases. The obtained results show that modular supervisors require less memory space compared to monolithic counterparts.

[1]  R. Kretschmann,et al.  INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING , 2007 .

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

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

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

[5]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

[6]  Hongye Su,et al.  Non‐blocking decentralized control of discrete event systems based on Petri nets , 2010 .

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

[8]  Bengt Lennartson,et al.  Efficient supervisory synthesis of large systems , 2004 .

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

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

[11]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[12]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[13]  T. Moor,et al.  A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

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

[15]  Murat Uzam,et al.  Novel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory , 2010 .

[16]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[17]  W. M. Wonham,et al.  Think globally, act locally: decentralized supervisory control , 1992 .

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

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

[20]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[21]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

[22]  Murat Uzam,et al.  An improved hybrid approach for the PLC-based implementation of reduced RW supervisors , 2013 .

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

[24]  Zhiwu Li,et al.  Optimal Supervisory Control of Automated Manufacturing Systems , 2013 .