Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems.

Jie Qian Jing Liu Xiang Chen Junfeng Sun

Published in: COUFLESS@ICSE (2015)

Keyphrases

real time
management system
computer systems
neural network
information retrieval
learning algorithm
face recognition
expert systems
e government
building blocks
hong kong
adaptive control
control strategies
modeling method