Train Headway Adjustment Using Potential Function Based on Multi-agent Formation Control | IEEE Conference Publication | IEEE Xplore