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

Volume

2

fYear

2001

fDate

2001

Firstpage

1290

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Electronics, 2001. Proceedings. ISIE 2001. IEEE International Symposium on

Conference_Location

Pusan

Print_ISBN

0-7803-7090-2

Type

conf

DOI

10.1109/ISIE.2001.931666

Filename

931666