个人简历

教学工作
主讲研究生专业课：
22001407
轨道交通运行控制系统设计
Railway operations and control systems design
2002年以来，先后主讲本科课程：
铁路信号基础
Fundamentals of Railway Signalling（英文课）
地铁通信信号概论
自动控制元件与线路
计算机编程课程设计
车站信号自动控制(6502电气集中)
计算机联锁系统技术
参与教改项目“自动化铁道信号特色专业建设”；
教育背景
2002年，工学博士学位，北方交通大学。


工作经历
工作经历：
2010/10–今， 北京交通大学，电子信息工程学院/轨道交通运行控制系统国家工程研究中心，副教授，教授
2001/12–2010/10，北京交通大学，电子信息工程学院，讲师，副教授
1997/07–2001/11，北京交通大学，自动化系统研究所，助教、讲师

研究领域

研究方向
智能交通系统的信息与控制技术
轨道交通自动化与控制
控制工程（专业学位）"专利
[1 ]一种列车动态追踪安全防护模型，2019
[2 ]一种基于车-车通信CBTC系统的移动授权计算方法 ，2019
[3 ]适合于车-车通信的列控系统联锁进路防护设计方法，2018
[4 ]列车运行超速防护混成监控方法，2017
[5 ]列车运行超速防护混成监控方法，2017
[6 ]基于进路的列车运行控制系统数据建模方法，2017
[7 ]基于空间变换的列控系统移动授权安全防护方法，2017
[8 ]高铁列控设备无线闭塞中心ＲＢＣ系统的故障诊断方法，2016
[9 ]基于列车运行控制系统的移动授权计算方法，2010
[10]基于CBTC的轨道交通线路运输能力评估方法，2010
[11]CBTC系统地面设备的列车安全定位方法，2010
[12]列车工况转换控制方法及系统，2009
[13]CBTC区域控制系统应用软件容错调度方法，2009
[14]CBTC系统中列车跨越控制区域时的安全防护方法，2009
科研项目
最近的研究兴趣和研究生指导方向：
1. 面向动态闭塞的列车运行控制理论、方法与技术；
1.1 什么是基于车-车通信的列车运行控制？
1.2 什么是以“列车为核心”的运行控制？
1.3 动态闭塞系统的建模、验证与分析。
2. 人工智能技术在信号系统中的应用
2.1 数据驱动、模型驱动的信号系统测试方法；
2.2 列车定位与防护方法；
2.3 信号系统辅助智能技术。
主持和参与科研项目20余项：
2013----2019
科研项目主要关注：列控系统建模、软件安全工程、系统安全理论与方法、铁路信号故障-安全电路与器件。
主持， 国家自然科学基金，列控系统安全建模理论与方法，（面上-61473029，2015-2018）
主持， 铁总科技研究开发计划，铁路列控关键技术深化研究，（重点- 2014X003-D，2014-2016）
主持， 国家重点基础研究计划973课题，安全攸关软件系统的构造与质量保障方法研究，（2014CB340703，2013-2018）
参与， 铁总科技研究开发计划，铁路通信信号设备运维与保障技术研究，（重大，2014X008-A，2014-2016）
参与， 教育部“2011轨道交通安全协同创新中心”研究开发计划。
2006 ---- 2012
参与“基于通信的列车运行控制关键技术及应用”系列项目的研究开发，负责CBTC地面区域控制ZC系统的设计、开发及北京地铁亦庄线示范工程，
成果获国家发明专利授权6项，通过了SIL4 级国际安全认证，在多个城市的地铁线路应用推广，创造了经济价值和社会效益，
获2011北京市科技进步一等奖，2012国家科技进步二等奖；
1997 ---- 2005
2002至2005年，基于现场总线和模型驱动的软件自动化技术，自主研发了智能型计算机联锁系统，应用于厂矿铁路；
1999至2001年，参与JD-1A型计算机联锁系统的研究开发，负责核心联锁软件的设计开发，通过了铁道部车站计算机联锁检验站的软件测试；
1997至1999年，从事铁路信号计算机联锁系统的研究、开发和应用，负责和参与开通的车站逾50个，对中国路情有了认识，积累了现场经验；"

近期论文

论文/期刊
主要学术论文
期刊：
[1] Zhang Y., Wang Haifeng et al. A Topological Manifold based Virtual Coupling Train Control Strategy [J]. IEEE Transactions on Intelligent Transportation Systems. (Under review)
[2] Zhang Y., Wang Haifeng et al. Novel Graph-based Train Control Data Verification Method for Chinese Train Control System [J]. IEEE Intelligent Transportation Systems Magazine, 2019. (Accepted)
[3] Zhang Y. and Wang Haifeng. Topological Manifold Based Monitoring Method for Train-centric Virtual Coupling Control Systems [J]. IET Intelligent Transport Systems, 2019. (Accepted)
[4] Wang Haifeng, Zhao N, Ning B, et al. Safety monitor for train-centric CBTC system[J]. IET Intelligent Transport Systems, 2018, 12(8): 931-938.
[5] Zhang Y., Wang Haifeng et al. Hybrid Online Safety Observer for CTCS-3 Train Control System On-board Equipment[J]. IEEE Transactions on Intelligent Transportation Systems, 2018, 20(3): 925-934.
[6] 王海峰，实时定位下的列车动态间隔控制，10000个科学难题，交通运输科学卷，科学出版社，2018.
[7] 王海峰,李开成等.列车运行控制系统技术发展趋势分析.铁道通信信号,2016,8(52).
[8] Wang Haifeng, Felix Schmid et al. A Topology-Based Model for Railway Train Control Systems. IEEE Transactions on Intelligent Transportation Systems, Vol.14, No.2, P819-827, 2013.
[9] Wang Haifeng, T.H. Xu et al. Novel Online Safety Observer for Railway Interlocking System. The Journal of Transportation Engineering ASCE, Vol. 139, No.7, P719-727, 2013.
[10] Wang Haifeng, T. Tang, C. Roberts et al. A Novel Framework for Supporting the Design of Moving Block Train Control System Schemes. Journal of Rail and Rapid Transit-Proc IMechE Part F, Vol. 228(7) 784–793，2014.
[11] Wang Haifeng and Ning Zhao. An Integrated Capacity Evaluation Method for CBTC System Equipped Urban Rail Lines. Journal of Rail and Rapid Transit-Proc IMechE Part F, Vol. 229(3) 291–302，2015.
[12] Wang Haifeng and Li Wei, COTS hardware-based safety critical computing platform, Transaction of Beijing Institute of Technology, Vol.28, No.3, P245-247+270, 2008.
[13] Wang Haifeng, A case study on model based functional hazard analysis, Transaction of Beijing Institute of Technology, Vol.30, No.7, P849-853+863, 2010.
[14] Wang Haifeng and Liu Shuo, Modeling Communications Based Train Control System：A Case Study, 2010 2nd International Conference on Industrial Mechatronics and Automation, 2010-12, Page 453-456.
[15] Wang Haifeng and Liang Nan, A software diversity model for embedded safety critical system, IEEE 2009 International Conference on Wireless Networks and Information(WNIS 2009), 2009-12, Page 106-109.
[16] Wang Haifeng and Tang Tao, On Integrating Component into Safety Critical System, IEEE 2009 International Conference on Information Engineering and Computer Science (ICIECS2009), 2009-11, Page 4-9.
国际会议：
[1] Wang H., Route safety verification of train control system by FTA modeling in SCADE[C]//2018 21st International Conference on Intelligent Transportation Systems (ITSC). IEEE, 2018: 2718-2723.
[2] Chen T.,Wang Haifeng et al. Architecture Design of a Novel Train-centric CBTC System [C]. //2018 International Conference on Intelligent Rail Transportation (ICIRT). IEEE, 2018: 1-5.
[3] Shengjie Tang, Haifeng Wang, Bin Ning, Geer Han, Ming Chai. Positive safety modeling of CTCS-3 train control system for high-speed railway. In Proceedings of the IEEE International Conference on Intelligent Rail Transportation (ICIRT), pp. 6-10, 2018.
[4] 3rd UIC-Asia Workshop on Control Command and Signalling, TOKYO, October 2014.
[5] The 6th IET Conference on Railway Condition Monitoring (RCM), Sept. 2014.
[6] Invited Speaker, China-Deutschen Symposium “Verification on Probabilistic and hybrid System“, Sept. 2013.
[7] Session Chair, 2013 IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2013), Aug. 30 to Sept. 1 2013.
[8] 轨道交通系统安全论坛. 2010年4月.
[9] 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems , Braunschweig German, Dec. 2010
[10] Invited Speaker, Synopsis of Chinese-German-Symposium 2010: Formal Methods for Railway Operation and System RAMS Assurance, Braunschweig German, Nov. 2010
[11] COMPRAIL 2010 : 12th International Conference on Computer System Design and Operation in the Railway and other Transit Systems, Beijing China, AUG. 31- SEP.2, 2010.
[12] Invited Speaker , The 2nd UIC-Asia Workshop on Control Command and Signalling, Chengdu China, Nov. 2009.
专著/译著
主编：
《城市轨道交通信号联锁系统》（2020，中国铁道出版社）
参编:
《列车运行控制系统》(ISBN: 9787113147983,2012年7月,中国铁道出版社)
《铁路信号电磁兼容技术》(ISBN: 9787113118044,2010年8月,中国铁道出版社)
《铁路信号抗干扰技术》ISBN: 9787512111967,2012年10月,北京交通大学出版社)
中国铁道学会通信信号分会信号专业委员会委员
中国计算机学会CCF形式化方法专业委员会委员