Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems

Qianzhu Zhao,Jing Liu,Xiang Chen,Tengfei Li,Junfeng Sun,Lipeng Zhang

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)（2021）

引用 1|浏览9

暂无评分

摘要

Safety is critical for the new technology of the communication-based train control (CBTC) system, the train-to-train CBTC (T2T-CBTC) system, which establishes direct communication between trains. In this paper, we define a parametric spatio-temporal hybrid modeling language (StHML(p)), focusing on the extension of spatio-temporal elements and probability parameters, to model the T2T-CBTC system. T...

查看译文

关键词

Recurrent neural networks,Software algorithms,Stochastic processes,Transforms,Predictive models,Prediction algorithms,Control systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要