default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMing Chai
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]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): 1318-1336 (2024)- [j8]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: 109621 (2024) - [j7]Bernd-Holger Schlingloff, Ming Chai:
Guest editorial to the special section on SEFM'22. Softw. Syst. Model. 23(3): 603-604 (2024) - [j6]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): 7237-7249 (2024) - [j5]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): 2031-2045 (2024) - [c30]Yinghui Lang, Hongjie Liu, Yanli Liao, Bosi Li, Yihan Wang, Ming Chai:
Online Optimization Method for Virtually Coupled Train Operation Deviation from Reference Curve. ICNSC 2024: 1-6 - [c29]Guoteng Wang, Jidong Lv, Hongjie Liu, Ming Chai, Tao Tang, Wentao Zhang:
Train Safety Control Based on Deep Deterministic Policy Gradient with Control Barrier Function. ICNSC 2024: 1-6 - 2023
- [c28]Zixu Zhao, Jidong Lv, Boyuan Zhou, Wanli Lu, Ming Chai, Hongjie Liu:
Intelligent Train Tracking Control Based on Monte Carlo Tree Method. ITSC 2023: 1110-1115 - [c27]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: 1773-1778 - [c26]Bowen Pang, Qihe Zhang, Ming Chai, Haifeng Wang:
An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning. ITSC 2023: 1795-1800 - [c25]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: 3349-3354 - [c24]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: 3443-3448 - [c23]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: 3724-3729 - [c22]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: 4608-4613 - 2022
- [c21]Haoxiang Su, Ming Chai, Hongjie Liu, Jinchuan Chai, Chaopeng Yue:
A Model-Based Testing System for Safety of Railway Interlocking. ITSC 2022: 335-340 - [c20]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: 1427-1432 - [c19]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: 1522-1527 - [c18]Qi Wang, Ming Chai, Haifeng Wang, Hao Zhang, Jinchuan Chai, Bingyue Lin:
Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System. ITSC 2022: 2738-2743 - [c17]Xiaolin Luo, Hongjie Liu, Jiayu Wang, Ming Chai, Yanbing Zhang:
Arrival Time Difference in Virtually Coupled Train Set: Cause and Solution. SMC 2022: 474-479 - [e1]Bernd-Holger Schlingloff, Ming Chai:
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings. Lecture Notes in Computer Science 13550, Springer 2022, ISBN 978-3-031-17107-9 [contents] - 2021
- [j4]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): 45-57 (2021) - [j3]Ming Chai, Haifeng Wang, Tao Tang, Hongjie Liu:
Runtime verification of train control systems with parameterized modal live sequence charts. J. Syst. Softw. 177: 110962 (2021) - [c16]Haoxiang Su, Ming Chai, Lijie Chen, Jidong Lv:
Deep Learning-Based Model Predictive Control for Virtual Coupling Railways Operation. ITSC 2021: 3490-3495 - [c15]Qi Wang, Ming Chai, Haifeng Wang, Lijie Chen, Jidong Lv:
Train Operation Strategy Optimization of Virtual Coupling: A Cooperative Game Based Approach. ITSC 2021: 3933-3938 - [c14]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: 3945-3950 - [c13]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: 3951-3956 - 2020
- [c12]Chunming Tu, Haoliang Xu, Biao Xiao, Liu Long, Ming Chai:
Study on the failure of IGBT bonding wire based on temperature gradient. IECON 2020: 3011-3016
2010 – 2019
- 2019
- [c11]Ming Chai, Haifeng Wang, Hongjie Liu, Jidong Lv, Qian Hu:
Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata. ITSC 2019: 2160-2165 - [c10]Hongjie Liu, Jidong Lv, Ming Chai:
A dual-objective integrated optimization problem for energy conservation in subway systems. ITSC 2019: 2166-2171 - [c9]Xuefei Li, Ming Chai, Haifeng Wang:
Modeling and Verification of Route Protection for Train-centric Train Control System. ITSC 2019: 2189-2194 - [c8]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: 3633-3638 - 2018
- [c7]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: 2718-2723 - 2017
- [j2]Ming Chai, Bernd-Holger Schlingloff:
Monitoring with Parametrized Extended Life Sequence Charts. Fundam. Informaticae 153(3): 173-198 (2017) - 2016
- [b1]Ming Chai:
Runtime Verification of Railway Applications with Extended Live Sequence Charts. Humboldt University of Berlin, Unter den Linden, Germany, Shaker 2016, pp. 1-153 - [j1]Ming Chai, Bernd-Holger Schlingloff:
System Monitoring with a Five-valued LTL. J. Multiple Valued Log. Soft Comput. 26(1-2): 33-54 (2016) - 2015
- [c6]Ming Chai, Bernd-Holger Schlingloff:
Monitoring with Parametrized Extended Life Sequence Charts. CS&P 2015: 88-102 - 2014
- [c5]Ming Chai, Bernd-Holger Schlingloff:
Online Monitoring of Distributed Systems with a Five-Valued LTL. ISMVL 2014: 226-231 - [c4]Lin Zhao, Ming Chai, Yang Liu:
Monitor-based temporal properties checking of train control systems with quantitative constraints. ITSC 2014: 2846-2851 - [c3]Ming Chai, Bernd-Holger Schlingloff:
Monitoring Systems with Extended Live Sequence Charts. RV 2014: 48-63 - 2013
- [c2]Ming Chai, Holger Schlingloff:
A Rewriting Based Monitoring Algorithm for TPTL. CS&P 2013: 61-72 - 2011
- [c1]Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu:
Safety Monitoring for ETCS with 4-valued LTL. ISADS 2011: 86-91
Coauthor Index
aka: Hai-Feng Wang
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-31 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
