Design and Verification Method for the Train Supervisory Controller of the Korean High-Speed Tarin

한국형 고속전철의 열차 관리제어기의 설계 및 검증 방법

  • Yoo, Seung-Pil (Dept. of Mechanical Engineering, Korea Advanced Institute of Science and Technology) ;
  • Lee, Doo-Yong (Dept. of Mechanical Engineering, Korea Advanced Institute of Science and Technology)
  • 유승필 (한국과학기술원 기계공학과) ;
  • 이두용 (한국과학기술원 기계공학과)
  • Published : 2001.01.01


This paper presents a design procedure for the supervisory controller(SC) of the high-speed train car. The proposed SC manages control logic and scenario of the overall train system, and monitors input/output signals among the sub-controllers in the system, The roles and functions of each sub-control system are defined, and the interfaces among the control systems are developed. Train control system is modeled with automata, and the model is implemented into a program using a computer-aided software engineering(CASE) tool, Object GEODE, The designed SC is verified and evaluated by using simulation. The SC is shown to successfully perform the designed functions without any errors.


  1. P. J. Ramadge and W. M. Wonham, 'Supervisory control of a class of discrete event processes,' SIAM J. Control Optimiz., vol. 25, no. 1, pp. 206-230, Jan., 1987
  2. GEC Alsthom, TGV-K CAB Software Requirement Specification Document, 1996
  3. GEC Alsthom, TGV-K CAB Descriptive and Operational Manual: APU01, 1996
  4. GEC Alsthom, TGV-K Software Specification: Conneting the Equipment, 1996
  5. GEC Alsthom, TGV-K Control System Specification (1)~(3)
  6. GEC Alsthom, TGV-K Data Processing Specification(1)~(8)
  7. C. G. Cassandras, Discrete Event Systems: Modeling and Performance Analysis, Aksen associates, 1993
  8. Verilog, ObjectGEODE Training Manual, 1998
  9. Verilog, ObjectGEODE Tutorial, 1997
  10. F. Belina, D. Hogrefe, and A. Sarma, SDL with Applications from Protocol Specification, Englewood Cliffs: Prentice Hall, 1991
  11. Verilog, ObjectGEODE SDL Simulator Reference Manual, 1997