Development and Validation of a Distance Measurement System in Metro Lines.

IEEE Transactions on Intelligent Transportation Systems(2019)

引用 12|浏览7
暂无评分
摘要
While different location technologies have been used to collect data for trains, the development and validation of new systems remain a challenge. In this paper, a formal approach is presented for the development and verification of a new metro train-to-train distance measurement system. This system is based on the spread-spectrum technology to accomplish distance measurement. Different from exist...
更多
查看译文
关键词
Unified modeling language,Software,Distance measurement,Analytical models,Safety,Petri nets
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要