个人简介

教学工作 《城轨车站信号控制》 《高级程序设计与训练》 《VC程序设计》 《铁道信号基础》 教育背景 2000/09 – 2004/06, 北京交通大学, 学士, 自动化. 2004/09 – 2011/07, 北京交通大学, 博士, 交通信息工程及控制. 工作经历 2016/01-今, 轨道交通运行控制系统国家工程研究中心, 副教授. 博导 2011/07-2015/12, 轨道交通运行控制系统国家工程研究中心, 讲师. 2014.11-2015.11 伯明翰铁路研究与教育中心. 访问学者。

研究领域

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

专利 宁滨 吕继东;李开成;王海峰;刘宏杰;柴铭;张路（外）. 适合于车-车通信的列控系统联锁进路防护设计方法. 2017100507842 科研项目 基本科研业务费重大项目: 高速列车自主运行控制方法研究, 2020-2023 基本科研业务费研究生创新项目: 基于时间自动机的列控车载设备建模与故障诊断方法研究, 2019-2021 北京市自然基金“轨道交通联合”: 基于深度强化学习和边缘计算的全自动无人驾驶列车智能控制方法研究, 2020-2022 北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020 红果园省部级"企事业": 测控技术创新平台, 2019-2020 铁路总公司（原铁道部）: 基于海南东环CTCS-2叠加CBTC实现高速铁路能力提升的方案研究, 2019-2020 科技部“973”: 安全攸关软件系统的构造与质量保障方法研究, 2013-2018 其它部市: 基于CTCS2&CBTC列控系统改造升级方案研究, 2018-2020 基本科研业务费自由申报项目: 城轨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

近期论文

查看导师新发文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

论文/期刊 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) 专著/译著 列车运行控制系统安全评估方法,2018,中国铁道出版社 列车运行控制系统安全评估方法,2019,中国铁道出版社 基于模型的列车运行控制系统设计与验证方法,2014,中国铁道出版社

学术兼职

IRSE member, ICIRT member, IEEE member