Modeling and Verification of Route Protection for Train-centric Train Control System.

Xuefei Li Ming Chai Haifeng Wang

Published in: ITSC (2019)

Keyphrases

control system
artificial intelligence
fuzzy logic
data sets
neural network
information systems
model checking
control algorithm