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}, doi = {10.1109/ISIE.2001.931666 } } |