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

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

DOI QR Code

The Relay Circuits Translation to EMFGs

릴레이 회로의 확장된 마크흐름선도 변환

  • Published : 2003.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

We propose how to translate relay circuits to the EMFGs(Extended Mark Flow Graphs) formally and analyze the original one by using the mark flow of it. Firstly, the concepts of the output condition, the output-on condition and the output-off condition are introduced in the relay circuits. These can be used to find the structure and the operation of respective relay outputs but the sequential operations of them cannot be obtained from these. Secondly, a relay circuit is translated to the corresponding EMFG as the all output-on conditions and all output-off conditions of it are translated to EMFGs. For the adequate translation, the condition arc and the concepts of the generation transition and the degeneration transition are introduced, and the duality for the simplification of the result. Thirdly, we analyze the operation of the original circuit by analyzing the mark flow of the resulting EMFG. We can achieve easy and fast analysis based on the EMFG's operation algorithm. Finally, we apply these to the relay circuit for an electric furnace and analyze its operation with the mark flow of the resulting EMFG. The formal translation from relay circuits to EMFGs makes the analysis easy so that these results can be used to design, modelling, the fault detection and the maintenance.

Keywords

References

  1. T. O. Boucher, and P. Sung, 'Developing a class of sequential function charts from Petri nets', Computer Integrated Manufacturing and Automation Technology, Proceedings of the Fourth International Conference on, pp. 163-168, Oct. 1994
  2. M. C. Zhou, E. Twiss, 'Design of industrial automated systems via relay ladder logic programming and Petri nets', Systems, Man and Cybernetics, Part C, IEEE Transactions on, vol. 28, Issue 1, pp. 137-150, Feb. 1998 https://doi.org/10.1109/5326.661096
  3. R. David, 'Grafcet: a powerful tool for specification of logic controllers', Control Systems Technology, IEEE Transactions on, vol. 3, Issue 3, pp. 253-268, Sep. 1995 https://doi.org/10.1109/87.406973
  4. G. Frey 'Automatic implementation of Petri net based control algorithms on PLC' , American Control Conference, Proceedings of the 2000, pp. 2819-2823, vol. 4, 2000 https://doi.org/10.1109/ACC.2000.878725
  5. S. S. Peng and M. C. Zhou, 'Petri net based PLC stage programming for discrete-event control design', Systems, Man, and Cybernetics, IEEE International Conference on, pp. 2706-2710, vol. 4, 2001 https://doi.org/10.1109/ICSMC.2001.972975
  6. 이승환, '시이퀀스 자동제어', 형설출판사, 1984
  7. 김원희, '종합 시퀀스 제어', 성안당, 1997
  8. 김원배, 김인수, 'PLC 응용과 실험', 기전연구사, 1999
  9. 여정모, '이산 시스템의 설계와 해석을 위한 확장된 마크흐름선도의 재정의와 회로변환', 한국멀티미디어학회 논문지, 1권, 2호, pp. 224-238, 12, 1998
  10. 여정모, '이산제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석', 정보처리학회논문지, 5권, 7호, pp. 1896-1907, 7, 1997
  11. 여정모, '확장된 마크흐름선도의 성질 및 간소화 알고리듬', 부경대학교 논문집, 3권, 3호, pp. 17-28, 12, 1998
  12. 김희정, 여정보, 서경룡, 'EMFG의 개선된 동작 알고리듬', 정보처리학회논문지, 9권, A호, pp. 371-378, 9. 2002