Logical consistency verification of state sensing in safety‐critical decision: A case study of train routing selection-Reference-Cited by-同舟云学术

Logical consistency verification of state sensing in safety‐critical decision: A case study of train routing selection

Published:2022-04-21 Issue:8 Volume:16 Page:1042-1057
ISSN:1751-956X
Container-title:IET Intelligent Transport Systems
language:en
Short-container-title:IET Intelligent Trans Sys

Author:

Wang Ke‐Ming¹²^ORCID,Wang Xia¹²,Wang Zheng³,Wu Guan‐Feng²⁴,Xu Yang²⁴

Affiliation:

1. School of Computing and Artificial Intelligence Southwest Jiaotong University Chengdu China

2. National‐Local Joint Engineering Laboratory of System Credibility Automatic Verification Southwest Jiaotong University Chengdu China

3. Beijing National Railway Research and Design Institute of Signal and Communication Group Co., Ltd Beijing China

4. School of Mathematics Southwest Jiaotong University Chengdu China

Funder

National Natural Science Foundation of China

Publisher

Institution of Engineering and Technology (IET)

Subject

Law,Mechanical Engineering,General Environmental Science,Transportation

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1049/itr2.12194

Reference29 articles.

1. Wikipedia.Amagasaki derailment. Accessed: 20 May 2019 [Online]. Available:https://en.wikipedia.org/wiki/Amagasaki_derailment

2. New York Times.Death toll now 59 in Paris train crash. Accessed: 20 May 2019 [Online]. Available:https://www.nytimes.com/1988/06/29/world/death‐toll‐now‐59‐in‐paris‐train‐crash.html(1988)

3. AP news.Train crash in central China kills 58. Accessed: 20 May 2019 [Online]. Available:https://apnews.com/d6079fd69f3e1e6601af754f916e40fa(1997)

4. Wikipedia.Railroad switch. Accessed: 28 May 2019 [Online]. Available:https://en.wikipedia.org/wiki/Railroad_switch

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Railway accident causation prediction with improved transformer model based on lexical information and contextual relationships;Knowledge-Based Systems;2024-07