Control and plant modeling for manufacturing systems using statecharts

Design engineers need to use high level methodologies to facilitate the development, maintenance, and documentation of the industrial control systems. These methodologies must include modeling, formal validation, and code generation to programmable logic controller (PLC). This paper discusses a methodology for plant and control modeling of the manufacturing systems using UML/Statecharts, and presents a case study in detail to clarify our ideas.