Formal analysis of existing control software in cyclic closed production line
L. Lenart · 2002
The existing software for control of alkaline batteries industrial production line of flow-shop type was critically analyzed from the viewpoint of modern control theory of dynamic event systems (DES). The installed software itself was coded in ladder logic in PLC controllers. Two guidelines were followed in this analysis: 1) the minimax algebra solution for timing supervision and construction of exception language; and 2) the formal way for organizing the DES supervisor supremal control language. The results of analysis are reported.