个人简介
基本情况姓名：
柴铭

职务：


职称：
副教授

学历：
博士研究生

学位：
博士

通信地址：
北京交通大学 科技大厦 702

邮编：
100044

办公电话：
010 5168 5741

电子邮箱：
chaiming@bjtu.edu.cn


教育背景 2011.10 - 2015.12 德国柏林洪堡大学，计算机科学学院
博士，形式化方法在轨道交通领域的应用方向
2009.09 - 2011.07 北京交通大学，电子信息工程学院
工学硕士，交通信息工程及控制专业

2004.09 - 2008.07北京交通大学，电子信息工程学院
工学学士，自动化专业




工作经历 2019.1至今 北京交通大学，轨道交通运行控制系统国家工程研究中心，副教授
2015.12 -2018.12 北京交通大学，轨道交通运行控制系统国家工程研究中心，讲师
主要研究列车运行控制系统安全保障问题，第三方安全测试以及模型检验、运行时验证、基于模型的测试等形式化方法在轨道交通领域的应用。



研究方向 轨道交通自动化与控制
控制工程(专业学位)



招生专业 交通信息工程及控制硕士
控制工程硕士



科研项目 北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020
红果园省部级"企事业": 测控技术创新平台, 2019-2020
铁路总公司（原铁道部）: 基于海南东环CTCS-2叠加CBTC实现高速铁路能力提升的方案研究, 2019-2020
科技部“973”: 安全攸关软件系统的构造与质量保障方法研究, 2013-2018
其它部市: 基于CTCS2&CBTC列控系统改造升级方案研究, 2018-2020
基本科研业务费自由申报项目: 以车为核心的列控系统运行时行为危险控制方法研究, 2019-2022
基本科研业务费自由申报项目: 面向联锁系统的测试案例自动构建方法研究, 2019-2022
基本科研业务费自由申报项目: 城轨GoA4级列控系统仿真与测试基础理论与关键技术研究, 2019-2021
北京交通大学: ATS压力测试及现场技术服务, 2019-2019
北京市自然基金“轨道交通联合”: 以车载为核心的列控系统主动安全防护方法研究, 2019-2021
铁路总公司（原铁道部）: 面向联锁仿真试验的测试案例自动化构建技术研究, 2018-2020
国家自然科学基金"青年基金": 基于复杂网络理论的高铁列控系统危险成因动力学建模及关键致因辨识, 2019-2021
北京市教委: 科研项目-北京实验室-城市轨道交通北京实验室-下一代列控系统仿真平台搭建, 2018-2018
国家重点研发计划: 车载中心化的动态间隔控制及测试验证技术研究, 2018-2021
科技部“863”: 纵向预研项目-863计划-KWB, 2018-2020
铁路总公司（原铁道部）: 通信信号安全保障技术研究——自主化列控系统安全功能测试技术研究, 2017-2021
国家自然科学基金"青年基金": 基于在途数据和核心模型混合驱动的多列车追踪运行协同控制理论与 方法, 2018-2020
铁路总公司（原铁道部）: 转预研基金--铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2017-2021
基本科研业务费: 下一代列控系统研究, 2017-2019
铁路总公司（原铁道部）: 下一代铁路通信信号关键技术研究——下一代列控系统技术方案研究, 2015-2017
北京市教委: 科研项目-北京实验室-具有可持续性发展、开放性研究的全系统全自动无人驾驶平台搭建与改造, 2017-2017
基本科研业务费: 安全驱动的高速铁路下一代列控系统可信性保障方法研究, 2016-2019
北京交通大学: 新疆铁道职业技术学院实训设备技术开发, 2016-2018
基本科研业务费: CBTC车载系统功能安全保证方法研究, 2016-2017
基本科研业务费人才基金: 运行时验证在高速铁路信号系统中的应用研究, 2016-2017



教学工作


论文/期刊 Ming Chai and Bernd-Holger Schlingloff. Monitoring with Parametrized Life Sequence Charts [J], Fundamenta Informaticae, 153(3): 173-198, 2017.
Ming Chai and Bernd-Holger Schlingloff. System Monitoring with a Five-valuedLTL [J], Journal of Multiple-Valued Logic and Soft Computing, vol 26, p. 33-54,2016
Ming Chai, Xian Li, Lin Zhao. Runtime Verification Based on 4-valuedPast Time LTL [J], American Journal of Engineering and TechnologyResearch, 2011.
会议论文
Ming Chai, Jidong Lv, Hongjie Liu and Lu Zhang. Towards Safety Monitoring of ETCS Level 2 with Parametrized Extended Live Sequence Charts [C], In: 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT 2016).

Ming Chai, Bernd-Holger Schlingloff.Monitoring with Parametrized Extended Life Sequence Charts [C], In:24th international Workshop on Concurrency,Specification and Programming (CS&P 2015).
Ming Chai and Bernd-Holger Schlingloff. Monitoring Systems with Extended Live Sequence Charts [C], In: 14th International Conference onRuntime Verification (rv’14), 2014.
Ming Chai and Bernd-Holger Schlingloff. Online Monitoring of DistributeSystems with a Five-valued LTL [C], In: 44th IEEE InternationalSymposium on Multiple- Valued Logic (ISMVL 2014).
Ming Chai and Lin Zhao. Specifying Correctness Properties in ETCSfor Online Monitoring with Extended Live Sequence Charts [C], In:FORMS/FORMAT 2014.
Ming Chai. Five-valued LTL for Runtime Verification [C], In: Logic,Algebra and Truth Degrees 2014 (LATD 2014).
Ming Chai. System Monitoring with Extended Message SequenceChart (Extended Abstract) [C], In: 23th international Workshop on Concurrency,Specification and Programming (CS&P 2014).
Ming Chai and Bernd-Holger Schlingloff. A Rewriting Based MonitoringAlgorithm for TPTL [C], In: 22th international Workshop on Concurrency,Specification and Programming ( CS&P 2013).
Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu. Safety Monitoringfor ETCS 4-valued LTL [C], In: 2011 10th International Symposium onAutonomous Decentralized Systems.
Ming Chai, Xian Li, Lin Zhao and Tao Tang. Safety Monitoring ofCommunication Session for CTCS-3 [C], In: 2010 Cross-Strait Conferenceon Information Science and Technology.



专著/译著 Runtime Verification of Railway Applications with Extended Live Sequence Charts,2016,Shaker Verlag GmbH



专利


软件著作权


获奖与荣誉


社会兼职