@inproceedings{c747064af31c4adcacdd18725657ef51,
title = "Fault Diagnosis of the On-board Equipment in CTCS-3 Based on Timed Automata and Mutation Theoy",
abstract = "In this paper, a method of fault diagnosis for the on-board equipment based on Timed Automata (TA) and mutation theory is proposed. Firstly, several kinds of mutation operators were injected in TA model to get Fault Timed Automta (FTA), in which the fault with timed features is described. Secondly, the approach of fault diagnosis and the verification of the diagnosability were proposed by parallel product A, in which the necessary and sufficient conditions of fault diagnosiability were discussed. Finally, we take the Ceiling Speed Monitoring (CSM) and Target Speed Monitoring (TSM) functions as a case study to present the feasibility of the method. Based on the CSM diagnoser, the fault set with events and time behaviors was effectively divided into two categories: diagnosable and non-diagnosable. The result is shown that the fault diagnosis and verification of diagnosability can be performed and it is of great significance for fault diagnosis of the on-board equipment.",
keywords = "CTCS-3, Fault diagnosis, On-board equipment, Timed automata",
author = "Zhuolin Hu and Tao Tang and Wanli Lu and Wei Zheng and Jidong Lv and Shigen Gao and Shuai Su",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019 ; Conference date: 27-10-2019 Through 30-10-2019",
year = "2019",
month = oct,
doi = "10.1109/ITSC.2019.8916894",
language = "英语",
series = "2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1013--1018",
booktitle = "2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019",
address = "美国",
}