Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2002.8.5.401

Discrete Event Model Conversion Algorithm for Systematic Analysis of Ladder Diagrams in PLCs  

Kang, Bong-Suk (Dept.of Electric Electronics Information System Engineering, University of Ulsan)
Cho, Kwang-Hyun (Dept.of Electric Electronics Information System Engineering, University of Ulsan)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.8, no.5, 2002 , pp. 401-406 More about this Journal
Abstract
As product lifecycles become shorter, factories are pushed to develop small batches of many different products. The highly flexible control systems has become a necessity. The majority of existing automated industrial systems are controlled by programmable logic controllers(PLCs). In most cases, the control programs for PLCs are developed based on ladder diagrams(LDs). However, it is difficult to debug and maintain those LDs because the synthesis of LD itself mainly depends on the experience of the industrial engineer via trial-and-error methods. Hence, in this paper, we propose a discrete event model conversion algorithm for systematic analysis of LDs. The proposed discrete event model conversion algorithm is illustrated by an example of a conveyor system.
Keywords
PLC; ladder diagram; discrete event model; state diagram;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 R. W. Lewis, Programming industrial control systems using IEC 1131-3(2nd ed.), London, U.K. : The Institution of Electrical Engineers, 1995
2 K. Venkatesh, M. C. Zhou, and R. Caudill, 'Comparing ladder diagrams and petri nets for sequence controller design through a discrete manufacturing system,' IEEE Trans. on Industrial Electronics, vol. 41, no. 6, pp. 611-619, 1994   DOI   ScienceOn
3 A. Falcione and B. H. Krogh, 'Design recovery for relay ladder logic,' IEEE Control Systems Magazine, vol. 13, no. 2, pp. 90-98, 1993   DOI
4 K.-H. Cho and J.-T. Lim, 'Synthesis of fault-tolerant supervisor for automated manufacturing systems : A case study on photolithographic process,' IEEE Trans. Robot. Automat., vol. 14, no. 2, pp. 348-351, 1998   DOI   ScienceOn
5 K.-H. Cho and J.-T. Lim, 'Multiagent supervisory control for anti-fault-propagation in serial production systems,' IEEE Trans. on Industrial Electronics, vol. 48, no. 2, pp. 460-466, 2001   DOI   ScienceOn
6 E. A. Parr, Programmable Controllers : An engineers guide, 3rd ed., Oxford, U.K. : Newnes, 1999
7 M. Sampath, S. Laforutne, and D. Teneketzis, 'Active diagnosis of discrete-event systems,' IEEE Trans. Automat.Contr., vol. 43, no. 7, pp. 908-929, 1998   DOI   ScienceOn
8 강봉석, 조광현, '이산사건모델에 기반한 PLC 래더다이어그램 자동합성,' 제어자동화시스템공학 논문지, vol. 7, no. 11, pp. 939-943, 2001   과학기술학회마을
9 M. Sampath, R. Sengupta, S. Laforutne, K. Sinnamohideen, and D. Teneketzis, 'Failure diagnosis using discrete-event models,' IEEE Trans. Contr. Syst. Technol., vol. 4, no. 2, pp. 105-124, 1996   DOI   ScienceOn
10 G. Provan and Y. L. Chen, 'Model-based fault tolerant control reconfiguration for discrete event systems,' Proc. IEEE Int. Conf. Control Applications, pp. 473-478, 2000   DOI
11 김원회, PLC를 중심으로 한 종합시퀀스 제어, 성안당, 1999