个人简历

教学工作
2019-2020-2 高级程序设计
2019-2020-1 城轨信号综合实验
2018-2019-2 高级程序设计
2018-2019-2 城轨信号基础
2018-2019-2 城轨车站信号自动控制
2018-2019-1 轨道交通苛求系统的计算机与安全（研究生课程）
2016-2017-2 轨道交通创新与实践
2016-2017-2 高级程序设计
2016-2017-1 轨道交通苛求系统的计算机与安全（研究生课程）
2016-2017-1 编组站自动化
2015-2016-2 轨道交通创新与实践
教育背景
2011-2019 北京交通大学 交通信息工程及控制 博士
2006-2008 北京交通大学 交通信息工程及控制 硕士
2002-2006 北京交通大学 自动化 学士
工作经历
2019- 北京交通大学 副研究员
2011-2019 北京交通大学 助理研究员
2008-2011 北京交通大学 研究实习员
2008-2014 交控科技股份有限公司 研发中心

近期论文

论文/期刊
柴铭,王海峰,刘宏杰,吕继东,胡倩.Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata.2019 IEEE Intelligent Transportation Systems Conference (ITSC),2019
刘宏杰,吕继东,柴铭.A dual-objective integrated optimization problem for energy conservation in subway systems.2019 IEEE Intelligent Transportation Systems Conference (ITSC),2019
陈柯行,吕继东,罗正伟,柴铭,刘宏杰,唐涛.Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy.2019 IEEE Intelligent Transportation Systems Conference (ITSC),2019
刘宏杰,唐涛,柴铭.An integrated energy conservation model in subway systems.International Seminar on Computer Science and Engineering Technology, SCSET 2018,2019
刘宏杰,宁滨,唐涛,Guo.Maximize Regenerative Energy Utilization through Timetable Optimization in a Subway System.None,2018
刘宏杰,唐涛,吕继东,柴铭.A Dual-Objective Substation Energy Consumption Optimization Problem in Subway Systems.Energies,2019,10(12)
刘宏杰,唐涛,夏夕盛,陈黎洁,付瑾瑜.面向再生制动能利用的地铁列车时刻表优化模型.北京交通大学学报,2019,1(43)
刘宏杰,Zhou,Guo,Zhang,宁滨,唐涛.Timetable Optimization for Regenerative Energy Utilization in Subway Systems.IEEE Transactions on Intelligent Transportation Systems,2018,None(None)
Lijie,刘宏杰,Weiqi.Using Colored Petri net for Level-Crossing safety analysis.None,2018
宋海锋,刘宏杰,Schnieder.A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2.IEEE Transactions on Intelligent Transportation Systems,2019,None(None)
刘宏杰,唐涛,Xiwang,Xisheng.A timetable optimization model and an improved artificial bee colony algorithm for maximizing regenerative energy utilization in a subway system.ADVANCES IN MECHANICAL ENGINEERING,2018,9(10)
陈黎洁,黄银霞,高莺,刘宏杰,孙超.无线列控系统安全通信协议性能评价规则的制定方法.中国铁道科学,2018,5(39)
陈黎洁,黄银霞,刘宏杰,Schnieder,高莺.基于通信的列车运行控制系统安全通信协议的性能分析.铁道学报,2017,5(39)
刘宏杰,Zhou,Guo,Liu,唐涛.An ABC-Based Subway Timetable Optimization Model for Regenerative Energy Utilization.2018 IEEE International Conference on Systems, Man, and Cybernetics,2018
刘宏杰,唐涛,金夏垚,杜恒.基于STPA方法的平交道口安全需求分析.北京交通大学学报,2018,2(42)
高莺,张琦,陈黎洁,刘宏杰.列控-安全信息传输系统可靠性及安全性的形式化分析.北京交通大学学报,2018,2(42)
Gao,Zhang,Chen,Wang,Chen,刘宏杰.Research on application of FP_tree based association rule mining on test sequence in train control system.Chinese Control Conference,2017
吕继东,唐涛,王海峰,刘宏杰,张路.A Model-based Test Case Generation Method for Function Testing of Train Control Systems.ICIRT2016,2016
王海峰,李开成,刘宏杰,张路.列车运行控制系统技术发展趋势分析.铁道通信信号,2016,8(52)
刘宏杰,王海峰,李开成,吕继东.一种新型列控系统方案探讨.铁道通信信号,2016,10(52)
刘宏杰,Lijie,Schnieder.Formal modeling and performance analysis of safety communication protocol in train control system.Chinese Control Conference,2016
柴铭,吕继东,刘宏杰,张路.Towards Safety Monitoring of ETCS Level 2 with Parametrized Extended Live Sequence Charts.2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT),2016
刘宏杰.Modeling and Simulation for Safety Redundant Architecture in Train control System.4th National Conference on Electrical, Electronics and Computer Engineering (NCEECE),2015
刘宏杰,刘波,夏夕盛.CBTC列车安全定位中通信延时的研究.市政技术,2010,11(28)
陈黎洁,赵显琼,刘宏杰,Schnieder.Formal Verification of Safety Communication Protocol for ETCS.19th International Symposium,2011
陈黎洁,唐涛,刘宏杰.Performance analysis and verification of safety communication protocol in train control system.COMPUTER STANDARDS & INTERFACES,2011,33(5)
刘宏杰,陈黎洁,宁滨.Petri Net-based Analysis of the Safety Communication Protocol.TELKOMNIKA,2013,10(11)
刘宏杰,陈黎洁.CBTC列车安全定位中通信中断时问的研究.铁道学报,2012,6(34)
刘宏杰,郜春海,刘波,陈黎洁.城市轨道交通列车运行控制系统分级标准研究.都市快轨交通,2011,4(24)
专著/译著
基于通信的列车运行控制（CBTC）系统,2018,中国铁道出版社
IEEE member； IEEE Transactions on Intelligent Transportation Systems, Wireless Communications and Mobile, IEEE/CAA Journal of Automatica Sinica 等期刊和 IEEE International Conference on Intelligent Transportation Systems, IEEE International Conference on Systems, Man and Cybernetics, IEEE International Conference on Networking, Sensing and Control 等会议审稿人。