Finite States Machine Models for Cell Control Code Generation
Xiao Hu · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2012
Controlling a manufacturing cell is a complex task to. A manufacturing system could be regarded as a discrete event system from flow and control perspective. However, it’s a rather intractable to model it analytically for behavior analysis and control development. It is necessary to generate a control to ensure every part of the manufacturing cell do the right activity at the right time and make sure that various operations are coordinated and with the right sequence. This is the task of cell control to which programmable logic controllers (PLC) play a role. Though much success have been achieved in simplifying the development of work of PLC’s by standardization there are still outstanding issues in interoperability of programs from different vendors and long development time particularly for code generation, validation and commissioning. So in this thesis, an attempt has been made to address these issues in a new way to create, verify and validate PLC program using Matlab/Simulink and CoDeSys. The model that generated from Stateflow environment is based on finite state machine theory. With the finite state machine model a manufacturing cell could be described as a graphical group of states and the transitions between each two states. It is clearly to show sequential relation of states and activities in Stateflow model. It also shows where the manufacturing process begins with a default transition. It is easy to alter every part of models when necessary. It is easy to translate PLC code automatically by Matlab after every altering. In this thesis it also discusses how to verify the PLC code by CoDeSys after creating PLC code from Stateflow models.