Login / Signup
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
Ehsan Ahmad
Yunwei Dong
Brian R. Larson
Jidong Lü
Tao Tang
Naijun Zhan
Published in:
Sci. China Inf. Sci. (2015)
Keyphrases
</>
control system
model checking
closed loop
modeling method
physical processes
real world
genetic algorithm
artificial intelligence
fuzzy logic
control law
formal verification
behavioral models