个人简历

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

研究领域

研究方向
轨道交通自动化与控制
控制工程（专业学位）"专利
宁滨 吕继东;李开成;王海峰;刘宏杰;柴铭;张路（外）. 适合于车-车通信的列控系统联锁进路防护设计方法. 2017100507842
科研项目
基本科研业务费重大项目: 高速列车自主运行控制方法研究

近期论文

论文/期刊
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