Towards Safe Inter-train Distance Minimization via Reachability Analysis and Mixed H2/H∞ Control | IEEE Conference Publication | IEEE Xplore