个人简介

教学工作 主讲研究生专业课： 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形式化方法专业委员会委员