Finite Automata as an Information Model for Manufacturing Execution System and Supervisory Control Integration

Abstract The use of MES (Manufacturing Execution System) is an alternative to link the ERP (Enterprise Resource Planning) to the activities at the shop floor. Due to the difference between the transactional feature of the ERP systems and the real-time features of the operations of the shop floor, MES becomes an important tool. SCADA (Supervisory Control And Data Acquisition) are responsible for monitoring the behaviour of shop floor and can interfere or alert in case of failures. The SCT (Supervisory Control Theory) is a formal methodology for modelling and control synthesis of DES (Discrete Event Systems). SCT appears to be an appropriate tool for this task, ensuring an optimal control logic that is minimally restrictive and non-blocking. The simultaneous use of MES, SCADA, ERP and controllers synthesized by SCT requires the creation of an interface between them. This creation requires development time, delays the project, being inflexible to change and is subject to failure. One of the formal models for the synthesis of DES controllers in the SCT is the DFA (Deterministic Finite Automaton). DFA is one of the computational models within the theory of automata. This paper shows the use of the DFA models to build the DES controller to interface SCADA and MES to save development time and to deal with flexibility and failure-tolerant issues.

[1]  Chin-Yin Huang,et al.  Distributed manufacturing execution systems: A workflow perspective , 2002, J. Intell. Manuf..

[2]  Yantao Wang,et al.  Collaborative manufacturing execution systems: Using real-time information to support lean production , 2008, 2008 12th International Conference on Computer Supported Cooperative Work in Design.

[3]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[4]  M.H. de Queiroz,et al.  Modular control of composed systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[5]  Byoung Kyu Choi,et al.  MES (manufacturing execution system) architecture for FMS compatible to ERP (enterprise planning system) , 2002, Int. J. Comput. Integr. Manuf..

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

[7]  A. Daneels,et al.  Современные SCADA-системы , 2017 .

[8]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[9]  Yuji Watanabe,et al.  Development of communications protocols between manufacturing execution system and production equipment , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

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

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

[12]  José Eduardo Ribeiro Cury,et al.  Exploiting symmetry in the synthesis of supervisors for discrete event systems , 2001, IEEE Trans. Autom. Control..

[13]  Marcelo da Silva Hounsell,et al.  Supervisory control implementation into Programmable Logic Controllers , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[14]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..