Train time delay prediction for high-speed train dispatching based on spatio-temporal graph convolutional network D Zhang, Y Peng, Y Zhang, D Wu, H Wang, H Zhang IEEE Transactions on Intelligent Transportation Systems 23 (3), 2434-2444, 2021 | 52 | 2021 |
Formal model-based quantitative safety analysis using timed coloured Petri nets D Wu, W Zheng Reliability Engineering & System Safety 176, 62–79, 2018 | 38 | 2018 |
Scenario-based system design with colored petri nets: an application to train control systems D Wu, E Schnieder Software & Systems Modeling 17 (1), 295–317, 2018 | 31 | 2018 |
Qualitative and quantitative safety evaluation of train control systems (CTCS) with stochastic colored Petri nets D Wu, D Lu, T Tang IEEE Transactions on Intelligent Transportation Systems 23 (8), 10223-10238, 2021 | 22 | 2021 |
Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets D Wu, E Schnieder IEEE Transactions on Intelligent Transportation Systems 17 (11), 3045 - 3061, 2016 | 20 | 2016 |
A high-speed railway network dataset from train operation records and weather data D Zhang, Y Peng, Y Xu, C Du, Y Zhang, N Wang, Y Chong, H Wang, ... Scientific data 9 (1), 244, 2022 | 17 | 2022 |
A CPN-based approach for studying impacts of communication delays on safety and availability of safety-critical distributed networked control systems D Wu, J Liu, H Wang, T Tang IEEE Transactions on Industrial Informatics 18 (5), 3033-3042, 2021 | 14 | 2021 |
Verifiable Design of a Satellite-based Train Control System with Petri Nets D Wu Technische Universität Braunschweig, 2014 | 9 | 2014 |
Model-based test generation techniques verifying the on-board module of a satellite-based train control system model D Wu, E Schnieder, J Krause 2013 ieee international conference on intelligent rail transportation …, 2013 | 9 | 2013 |
Prediction of train station delay based on multiattention graph convolution network D Zhang, Y Xu, Y Peng, Y Zhang, D Wu, H Wang, J Liu, S Mohammed, ... Journal of Advanced Transportation 2022 (1), 7580267, 2022 | 7 | 2022 |
An approach to safety analysis of train control systems with coloured petri nets D Wu, J Liu 2021 40th Chinese Control Conference (CCC), 4744-4750, 2021 | 4 | 2021 |
Quantitative risk assessment method for the on-board ATP of high-speed railway L Shi, N Ning, W Zheng, D Wu 2015 International Conference on Transportation Information and Safety …, 2015 | 4 | 2015 |
Realistic Modelling of Train Control System with Coloured Petri Nets D Wu, E Schnieder, D Lu, H Manz Control in Transportation Systems 13 (1), 19-23, 2012 | 4 | 2012 |
Hazard analysis for GNSS-based train localisation unit with model based approach according to EGNOS SoL and railway RAMS D Lu, D Wu, E Schnieder 14th IAIN Congress, 2012 | 4 | 2012 |
Test Case Generation Based on Colored Petri Net and Its Application in Train Control System W Daohua Beijing Jiaotong University, 2010 | 4 | 2010 |
Hybrid causal methodology in quantitative risk assessment for the on-board ATP of high speed railway D Ren, W Zheng, D Wu 17th International IEEE Conference on Intelligent Transportation Systems …, 2014 | 3 | 2014 |
Safety analysis of train-ground communication failure based on unfolding of Petri nets C Zhang, D Wu, X Li 2022 China Automation Congress (CAC), 5794-5798, 2022 | 2 | 2022 |
Evaluating the safety control scheme of railway centralized traffic control (CTC) system with coloured Petri nets T Zhang, X Li, D Wu, H Wang, J Liu, D Zhang Sustainability 14 (18), 11669, 2022 | 2 | 2022 |
Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis S Hu, D Wu, H Wang Proceedings of the 3rd International Conference on Electrical and …, 2018 | 2 | 2018 |
A CPN-Based Reliability Analysis of a Wireless Communication System in a Virtually Coupled Train Set R Li, D Wu 2023 China Automation Congress (CAC), 1954-1959, 2023 | 1 | 2023 |