中国铁道科学2016，Vol.37Issue(2)：114-121,8.DOI:10.3969/j.issn.1001-4632.2016.02.16
基于混成自动机的城市轨道交通ZC子系统建模与验证方法
Modeling and Verification Method of ZC Subsystem in Urban Rail Transit Based on Hybrid Automata
摘要
关键词
列车控制系统/区域控制器子系统/系统建模/系统功能/安全验证Key words
Train control system/Zone controller subsystem/System modeling/System function/Safety verification分类
交通工程引用本文复制引用
黄友能,张鹏基,侯晓鹏,唐涛..基于混成自动机的城市轨道交通ZC子系统建模与验证方法[J].中国铁道科学,2016,37(2):114-121,8.基金项目
北京市科技计划项目(D151100005815001) （D151100005815001）
北京交通大学基本科研业务费资助项目(2015JBM013) （2015JBM013）
神华集团科技项目(20140269) （20140269）
