Ming Chai - RankMe

52 papers B 4C 2Journal 10Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Monte Carlo Tree Search Approach for Operating Profile Planning of Freight Trains on the Long Steep Downward Slope Sections. ITSC Xiang Wang, Zhengwei Luo, Qianying Ma, Zixu Zhao, Jidong Lv, Ming Chai, Kaicheng Li
2025	—	`conf`	An Automatic Driving Control Approach for Heavy-Haul Trains Based on PER-DDQN. ICNSC Meiling Xie, Rong Gao, Xinyi Zhang, Feng Luan, Haoyuan Liu, HongJie Liu, Ming Chai
2025	—	`conf`	Automatic Train Operation of Heavy-Haul Trains Based on Model Predictive Control. ITSC Haoyu Yang, Ming Chai, Youbin Su, Zhanyuan He, Haoyuan Liu, Hai-feng Wang
2025	—	`conf`	Collision Avoidance Control for Autonomous Heavy Haul Trains. ICNSC Yufei Yan, Junliang Dong, Qi Wang, Yang Liu, Dong Xie, Ming Chai
2025	J	`jnl`	Coordinated Operation Strategy Design for Virtually Coupled Train Set: A Multiagent Reinforcement Learning Approach. IEEE Intell. Transp. Syst. Mag. HongJie Liu, Yinghui Lang, Xiaolin Luo, Tao Tang, Ming Chai
2025	—	`conf`	Coordinated Trajectory Planning for High-Speed Train Group Operation Based on Deep Reinforcement Learning. ITSC Zixu Zhao, Jidong Lv, Zhengwei Luo, Jiahui Lyu, Ming Chai, HongJie Liu, Junqiang Chen
2025	—	`conf`	Optimize Virtually Coupled Heavy-Haul Train Scheduling on Single-Track Bidirectional Lines. ITSC Jialei Liang, Ming Chai, Haiwang Yi, Zhao Sheng, Zhanyuan He, Dong Xie, Haoyuan Liu, Kaicheng Li
2024	J	`jnl`	A Hierarchical MPC Approach for Arriving-Phase Operation of Virtually Coupled Train Set. IEEE Trans. Intell. Transp. Syst. Xiaolin Luo, Tao Tang, Ming Chai, HongJie Liu
2024	—	`conf`	A Reachable Set-Based Train Safety Protection Method for Virtually Coupled Trains. ITSC Jialei Liang, Ming Chai, Qi Wang, Dong Xie, Haoyuan Liu, HongJie Liu, Yong Zhang
2024	J	`jnl`	A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains. IEEE Trans. Intell. Veh. Ming Chai, Haifeng Wang, Tao Tang, Jinchuan Chai, HongJie Liu
2024	—	`conf`	A Space-Time Interval Based Safety Protection Model for Virtual Coupling Heavy-Haul Trains. ITSC Xinyi Zhang, Ming Chai, Qi Wang, Haoxiang Su, Hai-feng Wang, Jidong Lv, Yong Zhang
2024	J	`jnl`	A hierarchical control approach for virtual coupling in metro trains. Comput. Aided Civ. Infrastructure Eng. HongJie Liu, Xiaolin Luo, Tao Tang, Yang Zhang, Ming Chai
2024	J	`jnl`	Guest editorial to the special section on SEFM'22. Softw. Syst. Model. Bernd-Holger Schlingloff, Ming Chai
2024	B	`conf`	Monocular Ranging Based on Camera Pose in Visual Train Positioning. SMC Wei Li, Yanyan Yang, Ming Chai, Jinke Shi, HongJie Liu, Jidong Lv, Haoxiang Su
2024	—	`conf`	Online Optimization Method for Virtually Coupled Train Operation Deviation from Reference Curve. ICNSC Yinghui Lang, HongJie Liu, Yanli Liao, Bosi Li, Yihan Wang, Ming Chai
2024	J	`jnl`	Online hazard prediction of train operations with parametric hybrid automata based runtime verification. Reliab. Eng. Syst. Saf. Ming Chai, Xinyi Zhang, Bernd-Holger Schlingloff, Tao Tang, HongJie Liu
2024	—	`conf`	Train Safety Control Based on Deep Deterministic Policy Gradient with Control Barrier Function. ICNSC Guoteng Wang, Jidong Lv, HongJie Liu, Ming Chai, Tao Tang, Wentao Zhang
2024	—	`conf`	Trajectory Prediction of High-Speed Train Group Tracking Based on LSTM-KF Hybrid Model. ITSC Boyu Yang, Jidong Lv, HongJie Liu, Ming Chai, Qinglong Zhang, Tao Tang, Jiahui Lv
2023	—	`conf`	A Distributed Convergent Clock Synchronization Algorithm Based on Exponential Smoothing for Cloud-Based Railway Interlocking System. ITSC Qihe Zhang, Shunli Li, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang
2023	—	`conf`	A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System. ITSC Huan Zheng, Qihe Zhang, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, Yong Yang, Ming Chai, Haifeng Wang
2023	—	`conf`	A Stochastic Reachable Set Trajectory Prediction Modeling Method for Following Operation of Urban Rail Trains. ITSC Min Yang, Jidong Lv, Zhengwei Luo, HongJie Liu, Ming Chai, Lei Zhang
2023	—	`conf`	An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning. ITSC Bowen Pang, Qihe Zhang, Ming Chai, Haifeng Wang
2023	—	`conf`	Fault Diagnosis of CTCS-3 On-Board Logic Function Based on SSGAN Framework. ITSC Daqian Zhang, Jidong Lv, Zhengwei Luo, HongJie Liu, Ming Chai, Wenxiang Ge, Fei Yan
2023	—	`conf`	Intelligent Train Tracking Control Based on Monte Carlo Tree Method. ITSC Zixu Zhao, Jidong Lv, Boyuan Zhou, Wanli Lu, Ming Chai, HongJie Liu
2023	—	`conf`	Robust Model Predictive Control Strategy for Virtually Coupled Train Sets Using Time-Varying Tubes. ITSC Zhengwei Luo, Jidong Lv, Jiahui Lv, HongJie Liu, Ming Chai, Kaicheng Li
2022	—	`conf`	A Model-Based Testing System for Safety of Railway Interlocking. ITSC Haoxiang Su, Ming Chai, HongJie Liu, Jinchuan Chai, Chaopeng Yue
2022	—	`conf`	A Novel Long Short Term Memory Network Based Train Dynamic Identification for Virtual Coupling. ITSC Haoyuan Liu, Ming Chai, HongJie Liu, Haifeng Wang, Jinchuan Chai
2022	B	`conf`	Arrival Time Difference in Virtually Coupled Train Set: Cause and Solution. SMC Xiaolin Luo, HongJie Liu, Jiayu Wang, Ming Chai, Yanbing Zhang
2022	—	`conf`	Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System. ITSC Qi Wang, Ming Chai, Haifeng Wang, Hao Zhang, Jinchuan Chai, Bingyue Lin
2022	—	`conf`	Model-based Design and Testing for Route Control of Railway Virtual Coupling. ITSC Xinyi Zhang, Ming Chai, Lijie Chen, Hai-feng Wang, Junfeng Cui, Jinchuan Chai
2022	B	`ed.`	Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings SEFM Bernd-Holger Schlingloff, Ming Chai
2021	—	`conf`	Deep Learning-Based Model Predictive Control for Virtual Coupling Railways Operation. ITSC Haoxiang Su, Ming Chai, Lijie Chen, Jidong Lv
2021	J	`jnl`	Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System. IEEE Intell. Transp. Syst. Mag. Yong Zhang, Haifeng Wang, Ming Chai, Ruijun Cheng
2021	J	`jnl`	Runtime verification of train control systems with parameterized modal live sequence charts. J. Syst. Softw. Ming Chai, Haifeng Wang, Tao Tang, HongJie Liu
2021	—	`conf`	Train Operation Strategy Optimization of Virtual Coupling: A Cooperative Game Based Approach. ITSC Qi Wang, Ming Chai, Haifeng Wang, Lijie Chen, Jidong Lv
2021	—	`conf`	Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata. ITSC Jinjin Gao, Jidong Lv, Ming Chai, HongJie Liu, Tao Tang, Wanli Lu
2021	—	`conf`	Trajectory Prediction of Urban Rail Transit Based on Long Short-Term Memory Network. ITSC Yijuan He, Jidong Lv, Daqian Zhang, Ming Chai, HongJie Liu, Haixia Dong, Tao Tang
2020	C	`conf`	Study on the failure of IGBT bonding wire based on temperature gradient. IECON Chunming Tu, Haoliang Xu, Biao Xiao, Liu Long, Ming Chai
2019	—	`conf`	A dual-objective integrated optimization problem for energy conservation in subway systems. ITSC HongJie Liu, Jidong Lv, Ming Chai
2019	—	`conf`	Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy. ITSC Kehang Chen, Jidong Lv, Zhengwei Luo, Ming Chai, HongJie Liu, Tao Tang
2019	—	`conf`	Modeling and Verification of Route Protection for Train-centric Train Control System. ITSC Xuefei Li, Ming Chai, Haifeng Wang
2019	—	`conf`	Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata. ITSC Ming Chai, Haifeng Wang, HongJie Liu, Jidong Lv, Qian Hu
2018	—	`conf`	Route safety verification of train control system by FTA modeling in SCADE. ITSC Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang, Ming Chai
2017	J	`jnl`	Monitoring with Parametrized Extended Life Sequence Charts. Fundam. Informaticae Ming Chai, Bernd-Holger Schlingloff
2016	—	`—`	Runtime Verification of Railway Applications with Extended Live Sequence Charts. Ming Chai
2016	J	`jnl`	System Monitoring with a Five-valued LTL. J. Multiple Valued Log. Soft Comput. Ming Chai, Bernd-Holger Schlingloff
2015	—	`conf`	Monitoring with Parametrized Extended Life Sequence Charts. CS&P Ming Chai, Bernd-Holger Schlingloff
2014	—	`conf`	Monitor-based temporal properties checking of train control systems with quantitative constraints. ITSC Lin Zhao, Ming Chai, Yang Liu
2014	B	`conf`	Monitoring Systems with Extended Live Sequence Charts. RV Ming Chai, Bernd-Holger Schlingloff
2014	—	`conf`	Online Monitoring of Distributed Systems with a Five-Valued LTL. ISMVL Ming Chai, Bernd-Holger Schlingloff
2013	—	`conf`	A Rewriting Based Monitoring Algorithm for TPTL. CS&P Ming Chai, Holger Schlingloff
2011	C	`conf`	Safety Monitoring for ETCS with 4-valued LTL. ISADS Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu