Title :
Ladder Diagram generation using generic model of discrete event system
Author :
Choi, Sung-Wook ; Lee, Kang-Gu ; Koo, Lock-jo ; Chang-Mok Park ; Park, Chang-Mok ; Wang, Gi-Nam
Author_Institution :
Dept. of Ind. Eng., Ajou Univ., Suwon
Abstract :
This paper describes plant modeling using DES (discrete event system) in generic model, and designing the controller for PLC-based manufacturing system. The tested model through simulation can be automatically transformed into LD (Ladder Diagram) program analyzing the controller elements. In addition, through the simulation of devices and controllers, possible logical errors can be minimized. The contribution of this work is to generate small and medium sized PLC-programs and reduce down-time and ramp-up time.
Keywords :
control system synthesis; discrete event systems; flexible manufacturing systems; formal logic; industrial control; industrial plants; programmable controllers; FMS; PLC-based manufacturing system; automated transformation system; control simulation; discrete event system; flexible manufacturing system; formal method; generic model environment; ladder diagram generation; logical error detection; manufacturing plant modeling; programmable controller design; Automata; Automatic control; Control systems; Discrete event systems; IEC standards; Manufacturing processes; Manufacturing systems; Process control; Programmable control; System testing;
Conference_Titel :
Cybernetic Intelligent Systems, 2008. CIS 2008. 7th IEEE International Conference on
Conference_Location :
London
Print_ISBN :
978-1-4244-2914-1
Electronic_ISBN :
978-1-4244-2915-8
DOI :
10.1109/UKRICIS.2008.4798976
