Cooperative Control for Multiple Trains with Prescribed Performance and Collision Avoidance Guarantees | IEEE Conference Publication | IEEE Xplore