Modeling and Quantitative Safety Analysis of Chinese Train Control System of Systems.

Guo Zhou Huibing Zhao

Published in: ITSC (2015)

Keyphrases

safety analysis
control system
safety critical
nuclear power plant
fault model
intelligent systems
symbolic model checking
dynamic programming
decision support system
real time
expert systems
decision makers
embedded systems
support systems
reliability analysis