Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지
DOI QR코드

DOI QR Code

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

PLC 래더다이어그램의 체계적인 분석을 위한 이산사건모델 변환 알고리즘

  • 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)
  • 강봉석 (울산대학교 전기전자정보시스템공학부) ;
  • 조광현 (울산대학교 전기전자정보시스템공학부)
  • Published : 2002.05.01
Download PDF
⟨ Previous Next ⟩

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

References

  1. E. A. Parr, Programmable Controllers : An engineers guide, 3rd ed., Oxford, U.K. : Newnes, 1999
  2. A. Falcione and B. H. Krogh, 'Design recovery for relay ladder logic,' IEEE Control Systems Magazine, vol. 13, no. 2, pp. 90-98, 1993 https://doi.org/10.1109/37.206990
  3. R. W. Lewis, Programming industrial control systems using IEC 1131-3(2nd ed.), London, U.K. : The Institution of Electrical Engineers, 1995
  4. 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 https://doi.org/10.1109/41.334578
  5. 강봉석, 조광현, '이산사건모델에 기반한 PLC 래더다이어그램 자동합성,' 제어자동화시스템공학 논문지, vol. 7, no. 11, pp. 939-943, 2001
  6. 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 https://doi.org/10.1109/87.486338
  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 https://doi.org/10.1109/9.701089
  8. 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 https://doi.org/10.1109/70.681255
  9. 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 https://doi.org/10.1109/CCA.2000.897469
  10. 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 https://doi.org/10.1109/41.915426
  11. 김원회, PLC를 중심으로 한 종합시퀀스 제어, 성안당, 1999