A Digital Twin-based Operation Control for High-Speed Train | IEEE Conference Publication | IEEE Xplore