Research on train time synchronization algorithm based on Kalman filter | IEEE Conference Publication | IEEE Xplore