Title :
Design and verification of supervisory controller of high-speed train
Author :
Yoo, Seung Pil ; Lee, Doo Yong ; Son, Hyoung Il
Author_Institution :
Dept. of Mech. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Abstract :
A high-level controller, supervisory controller, is required to monitor, control, and diagnose the low-level controllers of the high-speed train. The supervisory controller controls low-level controllers by monitoring input and output signals, events, and the high-speed train can be modeled as a discrete event system (DES). The high-speed train is modeled with automata, and the high-level control specification is defined. The supervisory controller is designed using the high-speed train model and the control specification. The designed supervisory controller is verified and evaluated with simulation using a computer-aided software engineering (CASE) tool, Object GEODE
Keywords :
automata theory; computer aided software engineering; computerised monitoring; control system synthesis; discrete event systems; railways; transport control; CASE tool; Object GEODE; automata; computer-aided software engineering tool; control specification; discrete event system; events monitoring; high-level control specification; high-speed train; high-speed train model; input signals monitoring; low-level controllers diagnosis; low-level controllers monitoring; output signals monitoring; supervisory controller design; supervisory controller verification; Automata; Automatic control; Circuit testing; Computational modeling; Computer aided software engineering; Computer simulation; Control systems; Discrete event systems; Monitoring; Supervisory control;
Conference_Titel :
Industrial Electronics, 2001. Proceedings. ISIE 2001. IEEE International Symposium on
Conference_Location :
Pusan
Print_ISBN :
0-7803-7090-2
DOI :
10.1109/ISIE.2001.931666
