基于模型的列车运行控制系统设计与验证方法出版时间：2014年版内容简介　　《基于模型的列车运行控制系统设计与验证方法》主要介绍基于模型的列车运行控制系统设计与验证方法，着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章，主要内容包括：列控系统需求的建模与验证，列控系统的安全分析，基于模型的列控系统软件设计，基于模型的测试，列控系统的运行时验证。《基于模型的列车运行控制系...

上一篇：动车组车内环境控制系统
下一篇：铁道电气化工程管理