Formal analysis of existing control software in cyclic closed production line

Author

Lenart, Lado

Author_Institution

Jozef Stefan Inst., Ljubljana Univ., Slovenia

Volume

1

fYear

2001

fDate

2001

Firstpage

539

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Intelligent Mechatronics, 2001. Proceedings. 2001 IEEE/ASME International Conference on

Conference_Location

Como

Print_ISBN

0-7803-6736-7

Type

conf

DOI

10.1109/AIM.2001.936521

Filename

936521