Header logo is

Design and Verification of Supervisory Controller of High-Speed Train

2001

Conference Paper

ei


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

Author(s): Yoo, SP. and Lee, DY. and Son, HI.
Journal: IEEE International Symposium on Industrial Electronics
Pages: 1290-1295
Year: 2001
Day: 0
Publisher: IEEE Operations Center

Department(s): Empirical Inference
Bibtex Type: Conference Paper (inproceedings)

DOI: 10.1109/ISIE.2001.931666
Event Name: IEEE International Symposium on Industrial Electronics (ISIE 2001)
Event Place: Pusan , South Korea

Address: Piscataway, NJ, USA
Digital: 0
ISBN: 0-7803-7090-2
Language: en
Organization: Max-Planck-Gesellschaft
School: Biologische Kybernetik

Links: Web

BibTex

@inproceedings{6468,
  title = {Design and Verification of Supervisory Controller of High-Speed Train},
  author = {Yoo, SP. and Lee, DY. and Son, HI.},
  journal = {IEEE International Symposium on Industrial Electronics},
  pages = {1290-1295},
  publisher = {IEEE Operations Center},
  organization = {Max-Planck-Gesellschaft},
  school = {Biologische Kybernetik},
  address = {Piscataway, NJ, USA},
  year = {2001}
}