PLC-Based Implementation of Local Modular Supervisory Control for Manufacturing Systems
B. Andr, Diogo L. L. da Cruz, Marcelo da Silva Hounsell · InTech eBooks · 2012
Developing and implementing control logic for automated manufacturing systems is not a trivial task. Industrial production lines should be able to produce many types of products that go through a growing number of processes given the needs of the market, and there is an ever growing flexibility demand because of it. To keep up with it a faster way to develop control logic automation for the production lines is required. And this should be done in such a way to easy development and to guarantee that the control is correct in terms of making the system to behave as it should. To this end, the use of formal modelling tools seems to help raise the abstraction level of specifying systems’ behaviour at the same time that it provides ways to test the resulting model.