Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913426446> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2913426446 abstract "In railways, overspeed protection is the central function of Automatic Train Protection (ATP). Any failure of this function can cause serious people injury or property loss. In practical applications, incorrect protection curves can be caused by misconfigurations of line data or mistakes in coding. These defects are hard to be fully eliminated during the development phases. In this paper, we propose an online monitoring approach to provide on-going protections for ATP. In our method, dynamic models are introduced to describe behaviour of the system as monitoring specifications. This avoids the so-called state explosion problem that is caused by complicated line data. Furthermore, we present a concrete example taking from Beijing Yizhuang metro line. The verification results show that this online monitoring method is feasible to predict potential risks of train operations." @default.
- W2913426446 created "2019-02-21" @default.
- W2913426446 creator A5041538738 @default.
- W2913426446 creator A5043069455 @default.
- W2913426446 creator A5081729211 @default.
- W2913426446 date "2018-12-01" @default.
- W2913426446 modified "2023-09-25" @default.
- W2913426446 title "Towards Risk Prediction: Runtime Verification of Train Control Systems for Overspeed Protection" @default.
- W2913426446 cites W1511760040 @default.
- W2913426446 cites W1565169635 @default.
- W2913426446 cites W2002130414 @default.
- W2913426446 cites W2040637657 @default.
- W2913426446 cites W2147340401 @default.
- W2913426446 cites W2176215692 @default.
- W2913426446 cites W2338852180 @default.
- W2913426446 cites W2379694365 @default.
- W2913426446 cites W2626638229 @default.
- W2913426446 cites W2808080995 @default.
- W2913426446 cites W2870677419 @default.
- W2913426446 doi "https://doi.org/10.1109/icirt.2018.8641615" @default.
- W2913426446 hasPublicationYear "2018" @default.
- W2913426446 type Work @default.
- W2913426446 sameAs 2913426446 @default.
- W2913426446 citedByCount "0" @default.
- W2913426446 crossrefType "proceedings-article" @default.
- W2913426446 hasAuthorship W2913426446A5041538738 @default.
- W2913426446 hasAuthorship W2913426446A5043069455 @default.
- W2913426446 hasAuthorship W2913426446A5081729211 @default.
- W2913426446 hasConcept C111472728 @default.
- W2913426446 hasConcept C127413603 @default.
- W2913426446 hasConcept C138885662 @default.
- W2913426446 hasConcept C14036430 @default.
- W2913426446 hasConcept C189950617 @default.
- W2913426446 hasConcept C198352243 @default.
- W2913426446 hasConcept C200601418 @default.
- W2913426446 hasConcept C2524010 @default.
- W2913426446 hasConcept C33923547 @default.
- W2913426446 hasConcept C41008148 @default.
- W2913426446 hasConcept C78458016 @default.
- W2913426446 hasConcept C86803240 @default.
- W2913426446 hasConceptScore W2913426446C111472728 @default.
- W2913426446 hasConceptScore W2913426446C127413603 @default.
- W2913426446 hasConceptScore W2913426446C138885662 @default.
- W2913426446 hasConceptScore W2913426446C14036430 @default.
- W2913426446 hasConceptScore W2913426446C189950617 @default.
- W2913426446 hasConceptScore W2913426446C198352243 @default.
- W2913426446 hasConceptScore W2913426446C200601418 @default.
- W2913426446 hasConceptScore W2913426446C2524010 @default.
- W2913426446 hasConceptScore W2913426446C33923547 @default.
- W2913426446 hasConceptScore W2913426446C41008148 @default.
- W2913426446 hasConceptScore W2913426446C78458016 @default.
- W2913426446 hasConceptScore W2913426446C86803240 @default.
- W2913426446 hasLocation W29134264461 @default.
- W2913426446 hasOpenAccess W2913426446 @default.
- W2913426446 hasPrimaryLocation W29134264461 @default.
- W2913426446 hasRelatedWork W1534865885 @default.
- W2913426446 hasRelatedWork W1536154292 @default.
- W2913426446 hasRelatedWork W2296440678 @default.
- W2913426446 hasRelatedWork W2349417464 @default.
- W2913426446 hasRelatedWork W2360553097 @default.
- W2913426446 hasRelatedWork W2365675775 @default.
- W2913426446 hasRelatedWork W2622379036 @default.
- W2913426446 hasRelatedWork W2966157352 @default.
- W2913426446 hasRelatedWork W3089791365 @default.
- W2913426446 hasRelatedWork W4253874108 @default.
- W2913426446 isParatext "false" @default.
- W2913426446 isRetracted "false" @default.
- W2913426446 magId "2913426446" @default.
- W2913426446 workType "article" @default.