Keyword

train control systems

Description: Train control systems are railway technologies that supervise and regulate train movement to support safe and efficient operations.

Primary topic: Transportation Systems and Safety (40%)

OpenAlex ID: keywords/train-control-systems

Automatic Train Control System Development and Simulation for High-Speed Railways

2010 · Hairong Dong, Bin Ning, et al. · IEEE Circuits and Systems Magazine · 371

Towards the Internet of Smart Trains: A Review on Industrial IoT-Connected Railways

2017 · Paula Fraga-Lamas, Tiago Fernández-Caramés, et al. · Sensors · 264

PDF

What is communication-based train control?

2009 · Robert Pascoe, Thomas Eichorn · IEEE Vehicular Technology Magazine · 202

Tracking and collision avoidance of virtual coupling train control system

2021 · Yuan Cao, Jiakun Wen, et al. · Future Generation Computer Systems · 139

Tracking and collision avoidance of virtual coupling train control system

2020 · Yuan Cao, Jiakun Wen, et al. · Alexandria Engineering Journal · 137

PDF

Future 5G-oriented system for urban rail transit: Opportunities and challenges

2021 · Junhui Zhao, Jin Liu, et al. · China Communications · 133

Aspects of automatic train control

1980 · Ian P. Milroy · Loughborough University Research Repository (Loughborough University) · 107

PDF

Beam Switching for Millimeter Wave Communication to Support High Speed Trains

2015 · Vutha Va, Xinchen Zhang, et al. · IEEE Vehicular Technology Conference · 88

Consistency checking for multiple view software architectures

1999 · Pascal Fradet, Daniel Le Métayer, et al. · ACM SIGSOFT Software Engineering Notes · 75

Practical Railway Engineering

2005 · Clifford F Bonnett · IMPERIAL COLLEGE PRESS eBooks · 72

A train control system case study in model-based real time system design

2004 · A. Zimmermann, G. Hommel · Proceedings - IEEE International Parallel and Distributed Processing Symposium · 72

A DNN-Based Channel Model for Network Planning in Train Control Systems

2021 · Tao Wen, Guo Xie, et al. · IEEE Transactions on Intelligent Transportation Systems · 69

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

2007 · André Platzer · Lecture notes in computer science · 65

PDF

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving

2014 · Liang Zou, Jidong Lv, et al. · Lecture notes in computer science · 58

High-Speed Train Positioning Using Deep Kalman Filter With 5G NR Signals

2022 · Kyeongjun Ko, Ilmu Byun, et al. · IEEE Transactions on Intelligent Transportation Systems · 57

Some Trends in Formal Methods Applications to Railway Signaling

2012 · Alessandro Fantechi, Wan Fokkink, et al. · Formal Methods for Industrial Critical Systems · 56

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques

2014 · Yu Jiang, Hehua Zhang, et al. · IEEE Transactions on Industrial Electronics · 53

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior

2011 · Lei Bu, Qixin Wang, et al. · ACM SIGBED Review · 52

A precise and reliable train positioning system and its use for automation of train operation

2013 · Thomas Albrecht, Katrin Luddecke, et al. · IEEE International Conference on Intelligent Rail Transportation (ICIRT) · 49

Formal Fault Tree Semantics

2002 · Gerhard Schellhorn, Andreas Thums, et al. · 48

A Safety Computer System Based on Multi-Sensor Data Processing

2019 · Yuan Cao, Hongkang Lu, et al. · Sensors · 46

An integrated hazard identification method based on the hierarchical Colored Petri Net

2016 · Rui Wang, Wei Zheng, et al. · Safety Science · 46

Symbolic Model Checking Epistemic Strategy Logic

2014 · Xiaowei Huang, Ron Van der Meyden · Proceedings of the AAAI Conference on Artificial Intelligence · 45

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker

2013 · Eduard Paul Enoiu, Daniel Sundmark, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 45

Formal modelling and simulation of train control systems using petri nets

1999 · Michael Meyer zu Hörste, Eckehard Schnieder · Lecture notes in computer science · 45

PDF

Works count: 2,945

Citation count: 6,995