Safety Monitoring for ETCS with 4-valued LTL.

Xian Li Ming Chai Lin Zhao Tao Tang Tianhua Xu

Published in: ISADS (2011)

Keyphrases

monitoring system
real time
temporal logic
model checking
safe operation
control center
early warning
normal operation
deterministic automata
bounded model checking
linear temporal logic
safety analysis
neural network
nuclear power plant
control system
multi agent systems
data mining