Dynamic train formation and dispatching for rail transit based on virtually coupled train set | IEEE Conference Publication | IEEE Xplore