Automated Safety Analysis on Scenario-Based Requirements for Train Control System.

Xi Wang Huaikou Miao Weikai Miao

Published in: SOFL+MSVL (2016)

Keyphrases

safety analysis
control system
safety critical
nuclear power plant
symbolic model checking
fuzzy logic
fault model
closed loop
control algorithm
control strategy
real time
fuzzy control
control method
fuzzy controller
reliability analysis
control scheme
neural network