Statecharts and Ladder Logic Diagrams in Control of Industrial Processes

The logic controller is a supervisory system which controls parallel and synchronized sequences of elementary operations in the controlled system. Even though logic controllers are very important in the process of control in the industry, there is not yet a standard integrated tool, which is sufficiently powerful, versatile and simple to use, and with which it is possible to carry out formal analysis of correctness. In this paper we will present statecharts as tool for modeling and control design of industrial processes, their analysis method and their transformation into ladder logic i.e. the language of programmable logic controllers.