Decomposing Automatic Train Control Verification System with Projection.

Jing Xu Xiaohong Chen Tingliang Zhou Zhengheng Yuan Kezhen Huang

Published in: APSEC (2015)

Keyphrases

model checking
control theory
fully automatic
database
control method
optimal control
semi automatic
data acquisition
projection method
face verification
control strategy
control system
multiscale
information systems
search engine
artificial intelligence
databases
data sets