PLC Implementation of Symbolic, Modular Supervisory Controllers

The Supervisory Control Theory was introduced in 1987 by Ramadge and Wonham (1987), and industrial applications are still scarce. This paper outlines an automatic code generation framework to construct the control logic for a programmable logic controller (PLC) from a symbolic, modular supervisor. The modeling and supervisor generation is performed with Supremica (Malik et al. (2017)), and the supervisor is implemented with the IEC 61131-3 programming language Structured Text. This framework is used to teach model-based approaches and SCT to mechanical engineering students.

[1]  W. M. Wonham,et al.  On Supervisory Control of Real-Time Discrete-Event Systems , 1987 .

[2]  Bengt Lennartson,et al.  Symbolic Computation of Reduced Guards in Supervisory Control , 2011, IEEE Transactions on Automation Science and Engineering.

[3]  José Eduardo Ribeiro Cury,et al.  A Method for PLC Implementation of Supervisory Control of Discrete Event Systems , 2017, IEEE Transactions on Control Systems Technology.

[4]  Julien Provost,et al.  A Signal-Interpreted Approach to the Supervisory Control Theory Problem , 2017 .

[5]  Julien Provost,et al.  An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week , 2017, 2017 IEEE Global Engineering Education Conference (EDUCON).

[6]  S. Balemi.  Control of discrete event systems , 1992 .

[7]  Marcelo da Silva Hounsell,et al.  PLC-Based Implementation of Local Modular Supervisory Control for Manufacturing Systems , 2012 .

[8]  André B. Leal,et al.  Modelling and Implementation of Supervisory Control Systems Using State Machines with Outputs , 2012 .

[9]  Knut Åkesson,et al.  Supremica–An Efficient Tool for Large-Scale Discrete Event Systems , 2017 .

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

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

[12]  Bernard Riera,et al.  Synthesis and implementation of logic controllers - A review , 2017, Annu. Rev. Control..

[13]  W. M. Wonham,et al.  Implementation Considerations in Supervisory Control , 2002 .