Title :
Formal analysis of existing control software in cyclic closed production line
Author_Institution :
Jozef Stefan Inst., Ljubljana Univ., Slovenia
Abstract :
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
Keywords :
Petri nets; formal specification; manufacturing data processing; minimax techniques; process control; production control; PLC; Petri nets; alkaline battery manufacture; dynamic event systems; formal analysis; industrial production line; ladder logic; minimax algebra; process control software; supervisor supremal control language; Batteries; Computer industry; Construction industry; Control systems; Control theory; Electrical equipment industry; Flow production systems; Industrial control; Metal product industries; Metals industry;
Conference_Titel :
Advanced Intelligent Mechatronics, 2001. Proceedings. 2001 IEEE/ASME International Conference on
Conference_Location :
Como
Print_ISBN :
0-7803-6736-7
DOI :
10.1109/AIM.2001.936521
