Function model of train control system for unmanned operation of urban transit system | IEEE Conference Publication | IEEE Xplore