• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
成果搜索

author:

Cheng, Ruijun (Cheng, Ruijun.) [1] | Chen, Dewang (Chen, Dewang.) [2] | Ma, Xiaoping (Ma, Xiaoping.) [3] | Cheng, Yu (Cheng, Yu.) [4] | Cheng, Huize (Cheng, Huize.) [5]

Indexed by:

EI Scopus SCIE

Abstract:

Online safety monitoring is the key technology to realize the safe operation of the automatic train protection (ATP) system. So, based on the probabilistic model checking and least square support vector machine (LSSVM) algorithms, an intelligent quantitative safety monitoring method is proposed to monitor the operational safety of ATP online. To begin with, the dynamic fault tree (DFT) model and continuous-time Markov Chains (CTMC) model of ATP are established based on the fault-tolerant structure of ATP. Then, the reliability and safety performance of DFT are evaluated by the hierarchical iterative evaluation method when considering the imperfect fault characteristics of the critical sub-equipment. Furthermore, continuous stochastic logic (CSL) is introduced to represent the temporal quantitative safety property. For the defined CSL property, the CTMC model will be verified by probabilistic model checking off-line, and the verification data set will be obtained. The distribution regularities of maximum reachable probability about the failure rate parameters of sub-equipment will be achieved by training the obtained verification data set with the LSSVM model. Finally, the quantitative safety boundaries (QSBs) of the corresponding quantitative safety levels are computed by the designed algorithm. The obtained QSBs can be used for monitoring the operational status of ATP online.

Keyword:

Automatic train protection (ATP) Computational modeling Control systems least square support vector machine (LSSVM) Model checking Monitoring online reliability evaluation Probabilistic logic probabilistic model checking quantitative safety monitoring Rail transportation Safety

Community:

  • [ 1 ] [Cheng, Ruijun]North Univ China, Sch Elect & Control Engn, Taiyuan 030051, Peoples R China
  • [ 2 ] [Cheng, Ruijun]North Univ China, Shanxi Prov Lab Ultrahigh Speed & Low Vacuum Pipel, Taiyuan 030051, Peoples R China
  • [ 3 ] [Chen, Dewang]Fujian Univ Technol, Sch Transportat, Fuzhou 350118, Peoples R China
  • [ 4 ] [Chen, Dewang]Fuzhou Univ, Coll Econ & Management, Fuzhou 350118, Peoples R China
  • [ 5 ] [Ma, Xiaoping]Beijing Jiaotong Univ, State Key Lab Adv Rail Autonomous Operat, Beijing 100044, Peoples R China
  • [ 6 ] [Ma, Xiaoping]Beijing Jiaotong Univ, Sch Traff & Transportat, Beijing 100044, Peoples R China
  • [ 7 ] [Cheng, Yu]China Acad Railway Sci Corp Ltd, Postgrad Dept, Beijing 100044, Peoples R China
  • [ 8 ] [Cheng, Yu]China Acad Railway Sci Corp Ltd, Inst Infrastruct Inspect Res, Beijing 100081, Peoples R China
  • [ 9 ] [Cheng, Huize]Beijing Jingwei Hirain Technol Co Inc, Automot Elect Engn Consulting Div, Beijing 100191, Peoples R China

Reprint 's Address:

Show more details

Related Keywords:

Source :

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

ISSN: 1524-9050

Year: 2023

Issue: 5

Volume: 25

Page: 3724-3738

7 . 9

JCR@2023

7 . 9 0 0

JCR@2023

JCR Journal Grade:1

CAS Journal Grade:1

Cited Count:

WoS CC Cited Count: 2

SCOPUS Cited Count: 1

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 1

Online/Total:6/10038005
Address:FZU Library(No.2 Xuyuan Road, Fuzhou, Fujian, PRC Post Code:350116) Contact Us:0591-22865326
Copyright:FZU Library Technical Support:Beijing Aegean Software Co., Ltd. 闽ICP备05005463号-1