Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods
Communication-Based Train Control System (CBTC) system is an automated system for train control based on bidirectional train-ground communication. Safety-risk estimation is a vital approach that strives to guide the CBTC system to guarantee the safe operation of vehicles. We propose a deep learning...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2020-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8963702/ |