@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 } }