Ming Chai

According to our database, Ming Chai authored at least 34 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Ming Chai, Haifeng Wang, Tao Tang, Jinchuan Chai, Hongjie Liu

IEEE Trans. Intell. Veh., January, 2024

Online hazard prediction of train operations with parametric hybrid automata based runtime verification.

Ming Chai, Xinyi Zhang, Bernd-Holger Schlingloff, Tao Tang, Hongjie Liu

Reliab. Eng. Syst. Saf., January, 2024

2023

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

Huan Zheng, Qihe Zhang, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang

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

Intelligent Train Tracking Control Based on Monte Carlo Tree Method.

Zixu Zhao, Jidong Lv, Boyuan Zhou, Wanli Lu, Ming Chai, Hongjie Liu

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

Fault Diagnosis of CTCS-3 On-Board Logic Function Based on SSGAN Framework.

Daqian Zhang, Jidong Lv, Zhengwei Luo, Hongjie Liu, Ming Chai, Wenxiang Ge, Fei Yan

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

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

Qihe Zhang, Shunli Li, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang

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

A Stochastic Reachable Set Trajectory Prediction Modeling Method for Following Operation of Urban Rail Trains.

Min Yang, Jidong Lv, Zhengwei Luo, Hongjie Liu, Ming Chai, Lei Zhang

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

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

Bowen Pang, Qihe Zhang, Ming Chai, Haifeng Wang

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

Robust Model Predictive Control Strategy for Virtually Coupled Train Sets Using Time-Varying Tubes.

Zhengwei Luo, Jidong Lv, Jiahui Lv, Hongjie Liu, Ming Chai, Kaicheng Li

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

2022

Arrival Time Difference in Virtually Coupled Train Set: Cause and Solution.

Xiaolin Luo, Hongjie Liu, Jiayu Wang, Ming Chai, Yanbing Zhang

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

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

Xinyi Zhang, Ming Chai, Lijie Chen, Hai-Feng Wang, Junfeng Cui, Jinchuan Chai

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

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

Qi Wang, Ming Chai, Haifeng Wang, Hao Zhang, Jinchuan Chai, Bingyue Lin

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

A Model-Based Testing System for Safety of Railway Interlocking.

Haoxiang Su, Ming Chai, Hongjie Liu, Jinchuan Chai, Chaopeng Yue

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.

Haoyuan Liu, Ming Chai, Hongjie Liu, Haifeng Wang, Jinchuan Chai

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.

Ming Chai, Haifeng Wang, Tao Tang, Hongjie Liu

J. Syst. Softw., 2021

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

Yong Zhang, Haifeng Wang, Ming Chai, Ruijun Cheng

IEEE Intell. Transp. Syst. Mag., 2021

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

Qi Wang, Ming Chai, Haifeng Wang, Lijie Chen, Jidong Lv

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

Deep Learning-Based Model Predictive Control for Virtual Coupling Railways Operation.

Haoxiang Su, Ming Chai, Lijie Chen, Jidong Lv

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

Trajectory Prediction of Urban Rail Transit Based on Long Short-Term Memory Network.

Yijuan He, Jidong Lv, Daqian Zhang, Ming Chai, Hongjie Liu, Haixia Dong, Tao Tang

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

Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata.

Jinjin Gao, Jidong Lv, Ming Chai, Hongjie Liu, Tao Tang, Wanli Lu

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

2020

Study on the failure of IGBT bonding wire based on temperature gradient.

Chunming Tu, Haoliang Xu, Biao Xiao, Liu Long, Ming Chai

Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

2019

A dual-objective integrated optimization problem for energy conservation in subway systems.

Hongjie Liu, Jidong Lv, Ming Chai

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

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

Xuefei Li, Ming Chai, Haifeng Wang

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy.

Kehang Chen, Jidong Lv, Zhengwei Luo, Ming Chai, Hongjie Liu, Tao Tang

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

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

Ming Chai, Haifeng Wang, Hongjie Liu, Jidong Lv, Qian Hu

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

2018

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

Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang, Ming Chai

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

2017

Monitoring with Parametrized Extended Life Sequence Charts.

Ming Chai, Bernd-Holger Schlingloff

Fundam. Informaticae, 2017

2016

Runtime Verification of Railway Applications with Extended Live Sequence Charts.

Ming Chai

PhD thesis, 2016

System Monitoring with a Five-valued LTL.

Ming Chai, Bernd-Holger Schlingloff

J. Multiple Valued Log. Soft Comput., 2016

2014

Monitoring Systems with Extended Live Sequence Charts.

Ming Chai, Bernd-Holger Schlingloff

Proceedings of the Runtime Verification - 5th International Conference, 2014

Monitor-based temporal properties checking of train control systems with quantitative constraints.

Lin Zhao, Ming Chai, Yang Liu

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Online Monitoring of Distributed Systems with a Five-Valued LTL.

Ming Chai, Bernd-Holger Schlingloff

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

2013

A Rewriting Based Monitoring Algorithm for TPTL.

Ming Chai, Holger Schlingloff

Proceedings of the 22nd International Workshop on Concurrency, 2013

2011

Safety Monitoring for ETCS with 4-valued LTL.

Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011