Monitor-based temporal properties checking of train control systems with quantitative constraints.

Lin Zhao Ming Chai Yang Liu

Published in: ITSC (2014)

Keyphrases

temporal properties
control system
model checking
constraint checking
qualitative and quantitative
formal methods
consistency checking
real time
machine learning
artificial intelligence
bayesian networks
mobile robot
case based reasoning
monitoring system