Daohua Wu

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 8

Top Topics

Colored Petri Nets

High Speed Railway

Top Venues

IEEE Trans. Intell. Transp. Syst.

IEEE Trans. Ind. Informatics

Softw. Syst. Model.

Publications

Dalin Zhang, Yunjuan Peng, Yumei Zhang, Daohua Wu, Hongwei Wang, Hailong Zhang
Train Time Delay Prediction for High-Speed Train Dispatching Based on Spatio-Temporal Graph Convolutional Network. IEEE Trans. Intell. Transp. Syst. 23 (3) (2022)
Daohua Wu, Debiao Lu, Tao Tang
Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets. IEEE Trans. Intell. Transp. Syst. 23 (8) (2022)
Xieting Li, Daohua Wu, Chenhu Zhang
Evaluation of Safety Control Scheme for Prohibiting EMUs and Freight Trains from Meeting in the Section. ITSC (2022)
Daohua Wu, Jintao Liu, Hongwei Wang, Tao Tang
A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems. IEEE Trans. Ind. Informatics 18 (5) (2022)
Xieting Li, Daohua Wu
Railway Accident Analysis Based on Colored Petri Nets. CAA SAFEPROCESS (2021)
Daohua Wu, Wei Zheng
Formal model-based quantitative safety analysis using timed Coloured Petri Nets. Reliab. Eng. Syst. Saf. 176 (2018)
Daohua Wu, Eckehard Schnieder
Scenario-based system design with colored Petri nets: an application to train control systems. Softw. Syst. Model. 17 (1) (2018)
Daohua Wu, Eckehard Schnieder
Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets. IEEE Trans. Intell. Transp. Syst. 17 (11) (2016)
Dewang Ren, Wei Zheng, Daohua Wu
Hybrid causal methodology in quantitative risk assessment for the on-board ATP of high speed railway. ITSC (2014)