Haifeng Wang

Orcid: 0000-0002-2946-7494

Affiliations:

Beijing Jiaotong University, National Engineering Research Center of Rail Transportation Operation and Control System, China

According to our database¹, Haifeng Wang authored at least 17 papers between 2018 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Automatic Train Operation of Heavy-Haul Trains Based on Model Predictive Control.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Intelligent Transportation Systems, 2025

2024

A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Veh., January, 2024

A Space-Time Interval Based Safety Protection Model for Virtual Coupling Heavy-Haul Trains.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

2023

A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023

A Distributed Convergent Clock Synchronization Algorithm Based on Exponential Smoothing for Cloud-Based Railway Interlocking System.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023

An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023

2022

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2022

Model-based Design and Testing for Route Control of Railway Virtual Coupling.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

A Novel Long Short Term Memory Network Based Train Dynamic Identification for Virtual Coupling.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

2021

Runtime verification of train control systems with parameterized modal live sequence charts.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System.

[BibT_eX]

[DOI]

IEEE Intell. Transp. Syst. Mag., 2021

Train Operation Strategy Optimization of Virtual Coupling: A Cooperative Game Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2019

Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2019

Modeling and Verification of Route Protection for Train-centric Train Control System.

[BibT_eX]

[DOI]

Xuefei Li

Ming Chai

Haifeng Wang

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

2018

Route safety verification of train control system by FTA modeling in SCADE.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Haifeng Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...