吕继东

博士、教授、无

基本信息

办公电话:010-51685733 电子邮件: jdlv@bjtu.edu.cn
通讯地址:科技大厦7层715 邮编:100044

教育背景

2000/09 – 2004/06, 北京交通大学, 学士, 自动化.

2004/09 – 2011/07, 北京交通大学, 博士, 交通信息工程及控制.

工作经历

2016/01-今, 轨道交通运行控制系统国家工程研究中心, 副教授. 博导

2011/07-2015/12, 轨道交通运行控制系统国家工程研究中心, 讲师.

2014.11-2015.11 伯明翰铁路研究与教育中心. 访问学者。

研究方向

  • 人工智能
  • 控制工程
  • 交通智能控制与优化
  • 轨道交通系统安全与可靠性
  • 交通系统仿真与测试

招生专业

  • 人工智能硕士
  • 控制工程硕士
  • 交通信息工程及控制硕士
  • 交通信息工程及控制博士

科研项目

  • 国家重点研发计划-任务: 基于感知的列车运行安全预警与防护系统研究, 2023-2026
  • 国家重点研发计划-项目: 川藏铁路列车运行控制系统关键技术及成套装备, 2023-2026
  • 国家重点研发计划-课题: 川藏铁路车地协同感知和列车自动驾驶技术研究及样机研制, 2023-2026
  • 川藏铁路站后系统技术方案及综合试验前期方案研究-3
  • 长大隧道高速动车组安全驾驶相关技术研究
  • 北京交通大学: 重载列车虚拟编组技术研究与应用, 2023-2026
  • 北京交通大学: 国网福建电科院电源中心2023年带电线路压接质量无损检测装置研制, 2023-2024
  • 考虑多目标优化的虚拟编组分布式鲁棒模型预测控制研究
  • 其它(科技处): 面向高铁列车自主运行控制的智能驾驶安全验证方法研究, 2022-2024
  • 基于模型和数据双驱动的新型列控系统车载软件故障诊断方法研究
  • 国家自然科学基金“面上”: 面向动态安全限界的城轨列车高密度追踪控制理论与方法, 2023-2026
  • 铁路总公司(原铁道部): 高速铁路列车自主运行控制关键技术研究, 2021-2023
  • 国家重点研发计划-任务: 川藏铁路列车运行安全间隔控制关键技术研究及新型列控系统方案仿真验证, 2021-2026
  • 北京交通大学: 川藏铁路列控系统方案研究, 2022-2024
  • 国家发展改革委: 面向动态时空的列车虚拟联挂追踪控制关键技术与应用示范, 2021-2028
  • 其它(科技处): 强电磁场下铁路安全保障能力战略研究, 2021-2023
  • 国家发展改革委: 智慧城轨新一代智能列车运行系统及平台示范工程, 2021-2028
  • 面向川藏铁路的列控系统关键技术研究
  • 铁路总公司(原铁道部): 基于智能感知的列车自主定位关键技术研究, 2021-2024
  • 北京交通大学: 先进轨道交通综合试验研究基地方案研究-1, 2021-2025
  • 北京交通大学: 先进轨道交通列车运行控制试验方案研究, 2021-2025
  • 北京交通大学: 先进轨道交通综合试验研究基地方案研究, 2021-2025
  • 国家铁路局: 面向动态全时空运行的高速列车安全防护理论方法研究, 2021-2022
  • 北京交通大学: 雅砻江官地水电站小空间万向机器人研发项目, 2021-2024
  • 北京交通大学: 朔黄铁路列车运行控制系统标准体系研究, 2021-2023
  • 红果园省部级"企事业"(新): 多方法融合的数据质量优化技术, 2021-2024
  • 北京交通大学: 全智能烹饪机器人系统设计及研发, 2020-2023
  • 北京市自然基金“轨道交通联合”: 面向列车动态追踪防护控制的安全验证与测试, 2020-2023
  • 北京市自然基金“轨道交通联合”: 面向动态时空的城轨列车安全防护控制理论与方法, 2020-2023
  • 北京市教委: 北京实验室-基于相对移动闭塞的列车编队控制方法, 2020-2021
  • 高速列车自主运行控制方法研究
  • 北京市自然基金“轨道交通联合”: 基于深度强化学习和边缘计算的全自动无人驾驶列车智能控制方法研究, 2020-2022
  • 北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020
  • 红果园省部级"企事业"(不再立新项目): 测控技术创新平台, 2019-2022
  • 铁路总公司(原铁道部): 基于海南东环CTCS-2叠加CBTC实现高速铁路能力提升的方案研究, 2019-2020
  • 其他部市(2020.10起仅限省部级科技计划\基金\专项): 基于CTCS2&CBTC列控系统改造升级方案研究, 2018-2020
  • 基于时间自动机的列控车载设备建模与故障诊断方法研究
  • 城轨GoA4级列控系统仿真与测试基础理论与关键技术研究
  • 北京交通大学: ATS压力测试及现场技术服务, 2019-2023
  • 铁路总公司(原铁道部): 面向联锁仿真试验的测试案例自动化构建技术研究, 2018-2020
  • 北京市教委: 科研项目-北京实验室-城市轨道交通北京实验室-下一代列控系统仿真平台搭建, 2018-2018
  • 国家重点研发计划: 车载中心化的动态间隔控制及测试验证技术研究, 2018-2022
  • 北京交通大学: 城轨CBTC系统测试模型及案例研究与开发, 2017-2021
  • 铁路总公司(原铁道部): 通信信号安全保障技术研究——自主化列控系统安全功能测试技术研究, 2017-2021
  • 铁路总公司(原铁道部): 转预研基金--铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2017-2021
  • 下一代列控系统研究
  • 基于DSL的新型列控系统建模方法研究
  • 北京市教委: 科研项目-北京实验室-具有可持续性发展、开放性研究的全系统全自动无人驾驶平台搭建与改造, 2017-2017
  • 安全驱动的高速铁路下一代列控系统可信性保障方法研究
  • 北京交通大学: 新疆铁道职业技术学院实训设备技术开发, 2016-2018
  • 铁路总公司(原铁道部): 铁路列控系统关键技术深化研究——下一代列控系统关键技术研究, 2016-2019
  • 国家自然科学基金“重点”: 高速铁路信号系统失效机理及风险控制研究, 2016-2019
  • 北京市教委: 基于车-车通信的CBTC系统关键技术研究, 2016-2016
  • 北京市教委: 科学研究与研究生培养共建项目-科研项目-北京实验室-下一代列控系统关键技术研究及样机研制, 2016-2016
  • CBTC车载系统功能安全保证方法研究
  • 国家自然科学基金“重点”: 高速铁路信号系统安全评估基础理论与方法研究, 2015-2018
  • 2011计划: 轨道交通安全协同创新中心-唐涛(负责人)团队建设项目, 2015-2016
  • 基于变异模型的列控系统测试案例生成方法研究
  • 基于形式化模型的CBTC系统数据安全处理及验证方法研究
  • 国家自然科学基金“面上”: 本质特征驱动的高铁列控系统安全逻辑建模理论与方法, 2015-2018
  • 铁路总公司(原铁道部): 铁路列控关键技术深化研究-铁路信号系统安全计算机平台化及智能化技术研究, 2014-2016
  • 铁路总公司(原铁道部): 铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2014-2016
  • 铁路总公司(原铁道部): 铁路列控关键技术深化研究——列控系统安全防护理念及前沿技术发展趋势研究, 2014-2016
  • 北京交通大学: 重载铁路移动闭塞关键技术及装备研究, 2014-2020
  • 科技部“973”: 安全攸关软件系统的构造与质量保障方法研究, 2013-2024
  • 北京交通大学: CBTC系统测试场景案例研究与开发, 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
  • 铁路总公司(原铁道部): 深化列控系统设备测试评估技术研究, 2011-2012
  • 北京交大创新科技中心(暂停立项): 轨道交通运行控制系统国家工程研究中心平台建设项目专用设备研发, 2011-2012

教学工作

《城轨车站信号控制》

《高级程序设计与训练》

《VC程序设计》

《铁道信号基础》

《高级语言程序设计》

《数据结构》

《基于ACM的编程训练》

《基于模型的测试与评估》

论文/期刊


1.    Lu Jidong, Tang tao, et,al. UPPAAL-based Simulation and Verification of CBTC Zone Control Subsystem in Rail Transportation[J]. JOURNAL OF THE CHINA RAILWAY SOCIETY. 2009.

2.    Lu Jidong, Tang tao, et,al. Modeling and Verification of Radio Block Center of CTCS-3 Train Control System for Dedicated Passengers Lines[J]. JOURNAL OF THE CHINA RAILWAY SOCIETY. 2010.

3.    Lu Jidong, Tang tao, et,al. Modeling and Verification of Time Constraints of Operation Scenarios of High-speed Train Control System[J]. JOURNAL OF THE CHINA RAILWAY SOCIETY. 2011.

4.    Lu jidong, Li Kaicheng, Tang Tao and Yuan Lei. Formal modeling and verification method for high speed train control system based on hybrid communicatiing 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 procedure message exchange between train-ground CTCS level 3. JOURNAL OF BEIJING JIAOTONG UNIVERSITY . 35(2): 77-80. 2011

6.    Kang Renwei, Wang Junfeng, Lu jidong. UPPAAL-based modeling and verification of level transition process of high-speed railway train control system. 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 of Safety Computer Platform Based on Timed Automata Model. JOURNAL OF THE CHINA RAILWAY SOCIETY. 33(6): 68-73.2011.

9.    Jidong Lu, Tao Tang. Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL. CSIE 2009.

10.  Jidong Lu, Kaicheng Li, Tao Tang, Chenling Li, Guodong Wei and Weihui Zhao.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 and its application in the hybrid characteristics of a high speed train control system. 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 Yu Liu. Verifying Chinese Train Control System Under a Combined Scenario by Theorem Proving. VSTTE 2013.

14.  Jidong Lu,Tao Tang,Kai Cheng Li,Pengcheng Ren,Lei Chen, Model-Based Test Case Generation for Function Testing of CTCS-3 onboard subsystem, International Journal of Control and Automation,2015.8.10,8(10):171~178

15.  AHMAD Ehsan,DONG YunWei,LARSON Brian,Jidong Lu,TANG Tao,Naijun Zhan*, Behavior modeling and verification of movement authority scenario of chinese train control system using aadl. Science China Information Sciences, 2015.11.5, 58(11):1~20.

16.  Jidong Lu*,Tang Tao,Haifeng Wang,Hongjie Liu,Lu Zhang, A Model-based Test Case Generation Method for Function Testing of Train Control Systems,The 2016 IEEE International Conference on Intelligent Rail Transportation, in the UK at the Edgbaston Campus of the University of Birmingham,2016.08.23-2016.08.25.

17.  Han Xiao*,Tang Tao,Jidong Lu,Haifeng Wang. Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking, International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Maisonde la RATP,Paris, 2016.06.28-2016.06.30.

18. Chai Ming*,Jidong Lu,Hongjie Liu,Lu Zhang, Towards Safety Monitoring of ETCS Level 2 with Parametrized Extended Live Sequence Charts, The 2016 IEEE International Conference on Intelligent Rail Transportation, in the UK at the Edgbaston Campus of the University of Birmingham, 2016.08.23-2016.08.25.

19.  Qingpeng Gan*,Kaicheng Li,Jidong Lu,Lei Yuan,Tao Wen, 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)


专著/译著

专利

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

软件著作权

获奖与荣誉

[1] 中国铁道学会一等奖(排名18),2015,CTCS-3级列控系统互联互通测试验证关键技术及应用。

社会兼职

IRSE member, ICIRT member, IEEE member