铁道科学与工程学报2022，Vol.19Issue(1)：52-62,11.DOI:10.19713/j.cnki.43-1423/u.T20210092
车地协同下的联锁子系统HCPN建模与验证
HCPN modeling and verification of interlocking subsystem based on train-ground collaborative control
摘要
关键词
车地协同/联锁子系统/形式化方法/HCPN/状态空间分析分类
交通工程引用本文复制引用
王兴,李茂青,岳丽丽,王耀东..车地协同下的联锁子系统HCPN建模与验证[J].铁道科学与工程学报,2022,19(1):52-62,11.基金项目
国家自然科学基金资助项目(61661027) （61661027）
