Towards Risk Prediction: Runtime Verification of Train Control Systems for Overspeed Protection
暂无分享,去创建一个
[1] Xin Chen,et al. Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior , 2011, SIGBED.
[2] Dong-Hyuk Choi,et al. Modeling for CBTC car-borne ATP/ATO functions and its applications , 2011, SICE Annual Conference 2011.
[3] Haifeng Wang,et al. Safety monitor for train‐centric CBTC system , 2018, IET Intelligent Transport Systems.
[4] Goran Frehse,et al. SL2SX Translator: From Simulink to SpaceEx Models , 2016, HSCC.
[5] Lei Bu. Path-oriented bounded reachability analysis of composed linear hybrid systems , .
[6] André Platzer,et al. Logical Verification and Systematic Parametric Analysis in Train Control , 2008, HSCC.
[7] Wu Liang. Simulation of the Automatic Train Protection Based on Chinese Train Control System-2 , 2007 .
[8] Yong Zhang,et al. Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment , 2019, IEEE Transactions on Intelligent Transportation Systems.
[9] Holger Schlingloff,et al. Monitoring with Parametrized Extended Life Sequence Charts , 2015, CS&P.
[10] Liu Jin-ta. Functional Safety Analysisof CTCS-3 Train Control System Based on UML Model , 2013 .
[11] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[12] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.