个人简介
基本情况姓名：
吕继东

职务：
无

职称：
副教授

学历：
研究生

学位：
博士

通信地址：
科技大厦7层715

邮编：
100044

办公电话：


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


教育背景 2000/09– 2004/06, 北京交通大学, 学士, 自动化.
2004/09– 2011/07, 北京交通大学, 博士, 交通信息工程及控制.



工作经历 2016/01-今, 轨道交通运行控制系统国家工程研究中心, 副教授. 博导
2011/07-2015/12,轨道交通运行控制系统国家工程研究中心, 讲师.
2014.11-2015.11伯明翰铁路研究与教育中心. 访问。



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



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



科研项目 北京市自然基金“轨道交通联合”: 基于深度强化学习和边缘计算的全自动无人驾驶列车智能控制方法研究, 2020-2022
北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020
红果园省部级"企事业": 测控技术创新平台, 2019-2020
铁路总公司（原铁道部）: 基于海南东环CTCS-2叠加CBTC实现高速铁路能力提升的方案研究, 2019-2020
科技部“973”: 安全攸关软件系统的构造与质量保障方法研究, 2013-2018
其它部市: 基于CTCS2&CBTC列控系统改造升级方案研究, 2018-2020
基本科研业务费研究生创新项目: 基于时间自动机的列控车载设备建模与故障诊断方法研究, 2019-2021
基本科研业务费自由申报项目: 以车为核心的列控系统运行时行为危险控制方法研究, 2019-2022
基本科研业务费自由申报项目: 面向联锁系统的测试案例自动构建方法研究, 2019-2022
基本科研业务费自由申报项目: 城轨GoA4级列控系统仿真与测试基础理论与关键技术研究, 2019-2021
北京交通大学: ATS压力测试及现场技术服务, 2019-2019
铁路总公司（原铁道部）: 面向联锁仿真试验的测试案例自动化构建技术研究, 2018-2020
北京市教委: 科研项目-北京实验室-城市轨道交通北京实验室-下一代列控系统仿真平台搭建, 2018-2018
国家重点研发计划: 车载中心化的动态间隔控制及测试验证技术研究, 2018-2021
北京交通大学: 城轨CBTC系统测试模型及案例研究与开发, 2017-2020
铁路总公司（原铁道部）: 通信信号安全保障技术研究——自主化列控系统安全功能测试技术研究, 2017-2021
铁路总公司（原铁道部）: 转预研基金--铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2017-2021
基本科研业务费: 下一代列控系统研究, 2017-2019
基本科研业务费: 基于DSL的新型列控系统建模方法研究, 2017-2018
北京市教委: 科研项目-北京实验室-具有可持续性发展、开放性研究的全系统全自动无人驾驶平台搭建与改造, 2017-2017
铁路总公司（原铁道部）: 铁路列控关键技术深化研究——列控系统安全防护理念及前沿技术发展趋势研究, 2014-2016
基本科研业务费: 安全驱动的高速铁路下一代列控系统可信性保障方法研究, 2016-2019
北京交通大学: 新疆铁道职业技术学院实训设备技术开发, 2016-2018
铁路总公司（原铁道部）: 铁路列控系统关键技术深化研究——下一代列控系统关键技术研究, 2016-2019
国家自然科学基金“重点”: 高速铁路信号系统失效机理及风险控制研究, 2016-2019
北京市教委: 基于车-车通信的CBTC系统关键技术研究, 2016-2016
北京市教委: 科学研究与研究生培养共建项目-科研项目-北京实验室-下一代列控系统关键技术研究及样机研制, 2016-2016
基本科研业务费: CBTC车载系统功能安全保证方法研究, 2016-2017
国家自然科学基金“重点”: 高速铁路信号系统安全评估基础理论与方法研究, 2015-2018
2011计划: 轨道交通安全协同创新中心-唐涛（负责人）团队建设项目, 2015-2016
基本科研业务费: 基于变异模型的列控系统测试案例生成方法研究, 2015-2016
基本科研业务费: 基于形式化模型的CBTC系统数据安全处理及验证方法研究, 2015-2017
国家自然科学基金“面上”: 本质特征驱动的高铁列控系统安全逻辑建模理论与方法, 2015-2018
铁路总公司（原铁道部）: 铁路列控关键技术深化研究-铁路信号系统安全计算机平台化及智能化技术研究, 2014-2016
铁路总公司（原铁道部）: 铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2014-2016
北京交通大学: 重载铁路移动闭塞关键技术及装备研究, 2014-2020
北京交通大学: CBTC系统测试场景案例研究与开发, 2014-2015
基本科研业务费: 一种基于形式化模型的一致性测试方法及其在高速铁路列控系统安全功能测试中的应用, 2014-2015
国家自然科学基金"青年基金": 基于模型的列控系统功能一致性测试研究, 2014-2016
北京交通大学: CTCS3-300H型ATP车载设备与CRH380C动车组型式接口试验及互联互通试验——接口试验, 2012-2014
北京交通大学: 轨道交通自动化研究所, 2013-2017
铁路总公司（原铁道部）: 列控系统优化技术研究 , 2012-2014
北京市教委: 城市轨道交通北京实验室, 2012-2013
铁路总公司（原铁道部）: 铁路信号风险管理技术研究-铁路信号系统安全与风险关键技术研究, 2012-2014
北京交通大学: CTCS3-300T型ATP在郑西客专线的互联互通（车载部分）试验, 2012-2013
北京交通大学: CTCS3-300T型ATP与CRH380B型动车组接口型式试验 , 2012-2013
科技部“863”: 高速铁路信号系统安全认证和评估技术研究, 2012-2014
基本科研业务费: 轨道交通列车运行控制系统安全评估体系与方法研究, 2012-2014
基本科研业务费: 高速铁路列控系统形式化设计与验证方法的研究, 2012-2013
国家重点实验室: 高速铁路列车运行控制系统分层形式化建模与验证方法的研究, 2012-2014
铁路总公司（原铁道部）: 深化列控系统设备测试评估技术研究, 2011-2012
北京交大创新科技中心（暂停立项）: 轨道交通运行控制系统国家工程研究中心平台建设项目专用设备研发, 2011-2012



教学工作 《城轨车站信号控制》
《高级程序设计与训练》
《VC程序设计》
《铁道信号基础》



论文/期刊
1. LuJidong, Tang tao, et,al. UPPAAL-based Simulation and Verification of CBTCZone Control Subsystem in Rail Transportation[J]. JOURNAL OF THE CHINA RAILWAYSOCIETY. 2009.
2. LuJidong, Tang tao, et,al. Modeling and Verification of Radio Block Center ofCTCS-3 Train Control System for Dedicated Passengers Lines[J]. JOURNAL OF THECHINA RAILWAY SOCIETY. 2010.
3. LuJidong, Tang tao, et,al. Modeling and Verification of Time Constraints ofOperation Scenarios of High-speed Train Control System[J]. JOURNAL OF THE CHINARAILWAY SOCIETY. 2011.
4. Lujidong, Li Kaicheng, Tang Tao and Yuan Lei. Formal modeling andverification method for high speed train control system based on hybridcommunicatiing sequential process. JOURNAL OF THE CHINA RAILWAY SCIENCE, 3(5):91-97. 2012
5. Liu Zhongtian, Lu jidong, Sun weiliang. Formal modeling and checking of proceduremessage exchange between train-ground CTCS level 3. JOURNAL OF BEIJING JIAOTONGUNIVERSITY . 35(2): 77-80. 2011
6. Kang Renwei, Wang Junfeng, Lu jidong. UPPAAL-based modeling andverification of level transition process of high-speed railway train controlsystem. JOURNAL OF BEIJING JIAOTONG UNIVERSITY . 36(6): 64-68. 2012.
7. Chen Lijie, Tang Tao, Lu jidong. Analysis on the Interruption Time for CBTC Handover.JOURNAL OF THE CHINA RAILWAY SCIENCE, 31(5): 126-128. 2010
8. Guo Zhiliang, Gao chunhai, Ma lianchuan, Lu jidong. Formal Verification ofSafety Computer Platform Based on Timed Automata Model. JOURNAL OF THE CHINARAILWAY SOCIETY. 33(6): 68-73.2011.
9. JidongLu, Tao Tang. Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3Using UPPAAL. CSIE 2009.
10. JidongLu, Kaicheng Li, Tao Tang, Chenling Li, Guodong Wei and WeihuiZhao.Model-Based Test Cases Generation for Onboard System. In Proc.ISADS, pp:276-281. 2013.
11. J.Lu,K. Li, T. Tang & L.Chen. HCSP formal modeling and verification method andits application in the hybrid characteristics of a high speed train controlsystem. In Proc. COMPRAIL2012, 2012.09.11-13, pp.12-25,New Forest, UK, 2012.
12. Jiang Liu, Jidong Lu, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou,Liang Zou: A Calculus for Hybrid CSP. APLAS 2010.
13. Liang Zou, Jidong Lu, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, and YuLiu. Verifying Chinese Train Control System Under a Combined Scenario byTheorem Proving. VSTTE 2013.
14. JidongLu，Tao Tang，Kai Cheng Li，PengchengRen，Lei Chen, Model-Based Test CaseGeneration for Function Testing of CTCS-3 onboard subsystem, InternationalJournal of Control and Automation,2015.8.10,8(10)：171~178
15. AHMAD Ehsan，DONGYunWei，LARSON Brian，Jidong Lu，TANG Tao，NaijunZhan*, Behavior modeling and verification of movement authority scenario ofchinese train control system using aadl. Science China Information Sciences,2015.11.5, 58(11)：1~20.
16. JidongLu*，Tang Tao，Haifeng Wang，HongjieLiu，Lu Zhang, A Model-based Test CaseGeneration Method for Function Testing of Train Control Systems,The 2016 IEEEInternational Conference on Intelligent Rail Transportation, in the UK at theEdgbaston Campus of the University of Birmingham,2016.08.23-2016.08.25.
17. Han Xiao*，TangTao，Jidong Lu，Haifeng Wang. Failure Analysis of Chinese TrainControl System Level 3 Based on Model Checking, International ConferenceReliability, Safety and Security of Railway Systems: Modelling, Analysis, Verificationand Certification, Maisonde la RATP,Paris, 2016.06.28-2016.06.30.
18. Chai Ming*，Jidong Lu，Hongjie Liu，LuZhang, Towards Safety Monitoring of ETCS Level 2 with Parametrized ExtendedLive Sequence Charts, The 2016 IEEE International Conference on IntelligentRail Transportation, in the UK at the Edgbaston Campus of the University ofBirmingham, 2016.08.23-2016.08.25.
19. Qingpeng Gan*，KaichengLi，Jidong Lu，Lei Yuan，TaoWen, Detecting Preceding Vehicles Using 4-Dimensional Mapping of Colors in Image,ITSC 2015, Spanish, 2015.9.15-2015.9.18.
20. Lu Jidong*, Ehsan Ahmad, Tao Tang.Non-deterministic Delay Behavior Testing of Chinese Train Control System using UPPAAL-TRON. IEEE INTELLIGENT TRANSPORTATION SYSTEM MAGZINE. 2019 SCI.
21.刘宏杰,唐涛,吕继东,柴铭.A Dual-Objective Substation Energy Consumption Optimization Problem in Subway Systems.Energies,2019,10(12)
22. 王拓,吕继东,魏柏全,唐涛,上官伟.Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory.International Conference on Intelligent Transportation Systems (ITSC),2018
23. 郑伟,户卓琳,唐涛,吕继东,上官伟.Complete Test Suite for the CTCS-3 Target Speed Monitor Based on IECP Test Theory.International Conference on Intelligent Transportation Systems (ITSC),2018
24. 张勇,王海峰,Yuan,吕继东,徐田华.Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment.IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS,2018,2(2018)
25. 吕继东,唐涛,王海峰,刘宏杰,张路.A Model-based Test Case Generation Method for Function Testing of Train Control Systems.ICIRT2016,2016
26. 刘宏杰,王海峰,李开成,吕继东.一种新型列控系统方案探讨.铁道通信信号,2016,10(52)
27. 柴铭,吕继东,刘宏杰,张路.Towards Safety Monitoring of ETCS Level 2 with Parametrized Extended Live Sequence Charts.2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT),2016
28. 吕继东,朱晓琳,李开成,唐涛,王海峰.基于模型的CTCS-3级列控系统 测试案例自动生成方法.西南交通大学学报,2015,5(50)




专著/译著 列车运行控制系统安全评估方法,2018,中国铁道出版社
列车运行控制系统安全评估方法,2019,中国铁道出版社
基于模型的列车运行控制系统设计与验证方法,2014,中国铁道出版社



专利 宁滨吕继东;李开成;王海峰;刘宏杰;柴铭;张路（外）.适合于车-车通信的列控系统联锁进路防护设计方法.20**


软件著作权


获奖与荣誉 [1]中国铁道学会一等奖（排名18），2015，CTCS-3级列控系统互联互通测试验证关键技术及应用。



社会兼职 IRSEmember, ICIRT member, IEEE member