Ming Chai

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 31

Top Venues

ITSC

Fundam. Informaticae

IEEE Trans. Intell. Veh.

Reliab. Eng. Syst. Saf.

Humboldt University of Berlin, Unter den Linden, Germany (PHD)

Education History

Humboldt University of Berlin, Unter den Linden, Germany

PHD

Publications

Hongjie Liu, Xiaolin Luo, Tao Tang, Yang Zhang, Ming Chai
A hierarchical control approach for virtual coupling in metro trains. Comput. Aided Civ. Infrastructure Eng. 39 (9) (2024)
Xiaolin Luo, Tao Tang, Ming Chai, Hongjie Liu
A Hierarchical MPC Approach for Arriving-Phase Operation of Virtually Coupled Train Set. IEEE Trans. Intell. Transp. Syst. 25 (7) (2024)
Ming Chai, Haifeng Wang, Tao Tang, Jinchuan Chai, Hongjie Liu
A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains. IEEE Trans. Intell. Veh. 9 (1) (2024)
Bernd-Holger Schlingloff, Ming Chai
Guest editorial to the special section on SEFM'22. Softw. Syst. Model. 23 (3) (2024)
Ming Chai, Xinyi Zhang, Bernd-Holger Schlingloff, Tao Tang, Hongjie Liu
Online hazard prediction of train operations with parametric hybrid automata based runtime verification. Reliab. Eng. Syst. Saf. 241 (2024)
Zhengwei Luo, Jidong Lv, Jiahui Lv, Hongjie Liu, Ming Chai, Kaicheng Li
Robust Model Predictive Control Strategy for Virtually Coupled Train Sets Using Time-Varying Tubes. ITSC (2023)
Qihe Zhang, Shunli Li, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang
A Distributed Convergent Clock Synchronization Algorithm Based on Exponential Smoothing for Cloud-Based Railway Interlocking System. ITSC (2023)
Huan Zheng, Qihe Zhang, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang
A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System. ITSC (2023)
Daqian Zhang, Jidong Lv, Zhengwei Luo, Hongjie Liu, Ming Chai, Wenxiang Ge, Fei Yan
Fault Diagnosis of CTCS-3 On-Board Logic Function Based on SSGAN Framework. ITSC (2023)
Zixu Zhao, Jidong Lv, Boyuan Zhou, Wanli Lu, Ming Chai, Hongjie Liu
Intelligent Train Tracking Control Based on Monte Carlo Tree Method. ITSC (2023)
Min Yang, Jidong Lv, Zhengwei Luo, Hongjie Liu, Ming Chai, Lei Zhang
A Stochastic Reachable Set Trajectory Prediction Modeling Method for Following Operation of Urban Rail Trains. ITSC (2023)
Bowen Pang, Qihe Zhang, Ming Chai, Haifeng Wang
An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning. ITSC (2023)
Qi Wang, Ming Chai, Haifeng Wang, Hao Zhang, Jinchuan Chai, Bingyue Lin
Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System. ITSC (2022)
Haoyuan Liu, Ming Chai, Hongjie Liu, Haifeng Wang, Jinchuan Chai
A Novel Long Short Term Memory Network Based Train Dynamic Identification for Virtual Coupling. ITSC (2022)
Xiaolin Luo, Hongjie Liu, Jiayu Wang, Ming Chai, Yanbing Zhang
Arrival Time Difference in Virtually Coupled Train Set: Cause and Solution. SMC (2022)
Xinyi Zhang, Ming Chai, Lijie Chen, Hai-Feng Wang, Junfeng Cui, Jinchuan Chai
Model-based Design and Testing for Route Control of Railway Virtual Coupling. ITSC (2022)
Haoxiang Su, Ming Chai, Hongjie Liu, Jinchuan Chai, Chaopeng Yue
A Model-Based Testing System for Safety of Railway Interlocking. ITSC (2022)
Yijuan He, Jidong Lv, Daqian Zhang, Ming Chai, Hongjie Liu, Haixia Dong, Tao Tang
Trajectory Prediction of Urban Rail Transit Based on Long Short-Term Memory Network. ITSC (2021)
Haoxiang Su, Ming Chai, Lijie Chen, Jidong Lv
Deep Learning-Based Model Predictive Control for Virtual Coupling Railways Operation. ITSC (2021)
Qi Wang, Ming Chai, Haifeng Wang, Lijie Chen, Jidong Lv
Train Operation Strategy Optimization of Virtual Coupling: A Cooperative Game Based Approach. ITSC (2021)
Yong Zhang, Haifeng Wang, Ming Chai, Ruijun Cheng
Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System. IEEE Intell. Transp. Syst. Mag. 13 (3) (2021)
Ming Chai, Haifeng Wang, Tao Tang, Hongjie Liu
Runtime verification of train control systems with parameterized modal live sequence charts. J. Syst. Softw. 177 (2021)
Jinjin Gao, Jidong Lv, Ming Chai, Hongjie Liu, Tao Tang, Wanli Lu
Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata. ITSC (2021)
Chunming Tu, Haoliang Xu, Biao Xiao, Liu Long, Ming Chai
Study on the failure of IGBT bonding wire based on temperature gradient. IECON (2020)
Hongjie Liu, Jidong Lv, Ming Chai
A dual-objective integrated optimization problem for energy conservation in subway systems. ITSC (2019)
Ming Chai, Haifeng Wang, Hongjie Liu, Jidong Lv, Qian Hu
Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata. ITSC (2019)
Xuefei Li, Ming Chai, Haifeng Wang
Modeling and Verification of Route Protection for Train-centric Train Control System. ITSC (2019)
Kehang Chen, Jidong Lv, Zhengwei Luo, Ming Chai, Hongjie Liu, Tao Tang
Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy. ITSC (2019)
Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang, Ming Chai
Route safety verification of train control system by FTA modeling in SCADE. ITSC (2018)
Ming Chai, Bernd-Holger Schlingloff
Monitoring with Parametrized Extended Life Sequence Charts. Fundam. Informaticae 153 (3) (2017)
Ming Chai, Bernd-Holger Schlingloff
System Monitoring with a Five-valued LTL. J. Multiple Valued Log. Soft Comput. 26 (1-2) (2016)
Ming Chai, Bernd-Holger Schlingloff
Monitoring with Parametrized Extended Life Sequence Charts. CS&P (2015)
Lin Zhao, Ming Chai, Yang Liu
Monitor-based temporal properties checking of train control systems with quantitative constraints. ITSC (2014)
Ming Chai, Bernd-Holger Schlingloff
Online Monitoring of Distributed Systems with a Five-Valued LTL. ISMVL (2014)
Ming Chai, Bernd-Holger Schlingloff
Monitoring Systems with Extended Live Sequence Charts. RV (2014)
Ming Chai, Holger Schlingloff
A Rewriting Based Monitoring Algorithm for TPTL. CS&P (2013)
Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu
Safety Monitoring for ETCS with 4-valued LTL. ISADS (2011)

Ming Chai.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ming Chai