Inspec keywords: telecommunication network topology; telecommunication signalling; rail traffic control; railway communication; railway safety; control engineering computing

Other keywords: urban transit signalling; train control safety; topology theorems; movement authority; topological spaces; metric space; topological description; safety monitor; safety verification difficulty; China; train-centric communications-based train control system; on-board equipment; TcCBTC system; innovative topology-based method; train trajectory; railway network; control logic; real metro line

Subjects: Rail-traffic system control; Control engineering computing; Mobile radio systems; Communications computing; Traffic engineering computing; Control applications in radio and radar; Communication network design, planning and routing