I. Introduction
High-speed trains have attracted enormous research interest in recent years as they play a significant and promising role in improving transportation efficiency, enhancing commuting convenience and comfort, reducing carbon emission, and strengthening urban connections with numerous economic benefits. To address the increasing complexity, high mobility, and crucial safety demands of high-speed railway transportation, the implementation of an effective and efficient automatic train control (ATC) system becomes imperative. This intrinsically relies on advanced automatic train supervision, operation, and protection technologies to realize dependable, maneuverable and safe train operations.