フォロー
Daohua Wu
Daohua Wu
確認したメール アドレス: bjtu.edu.cn
タイトル
引用先
引用先
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
522021
Formal model-based quantitative safety analysis using timed coloured Petri nets
D Wu, W Zheng
Reliability Engineering & System Safety 176, 62–79, 2018
382018
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
312018
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
222021
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
202016
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
172022
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
142021
Verifiable Design of a Satellite-based Train Control System with Petri Nets
D Wu
Technische Universität Braunschweig, 2014
92014
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
92013
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
72022
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
42021
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
42015
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
42012
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
42012
Test Case Generation Based on Colored Petri Net and Its Application in Train Control System
W Daohua
Beijing Jiaotong University, 2010
42010
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
32014
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
22022
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
22022
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
22018
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
12023
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20