Towards modeling and evaluation of availability of communication based train control (CBTC) system - Hongli Zhao; Tianhua Xu; Tao Tang (2009 IEEE International Conference on Communication Technology and Applications, 2009)
Keywords: Automatic control; Automation; Availability; Communication Based Train Control system (CBTC); Communication system control; Computer networks; Control system synthesis; Propagation losses; Radio communication; Radio control; scaled generalized minimum residual (SGMRES); state-space explosion; Stochastic Automata Networks (SANs); Stochastic systems