混成自动机论文

基于迁移系统语义的线性混成系统分析
论文摘要混成系统以核心控制器的形式广泛出现于航天运输、机械控制等安全攸关领域。因此,通过形式化验证对相关系统的质量保障进行研究十分重要。混成自动机是混成系统主要设计建模语言,因...
基于混成自动机的事件驱动的CPS系统监控方法研究
论文摘要信息物理融合系统(CPS系统)被认为是下一代嵌入式系统,具有广阔的应用前景。CPS系统涉及信息、物理等多方面,本身复杂度高,而且CPS系统往往运行于不确定的物理环境中,...
基于混成自动机的主动防护式CBTC车载系统开发方法
论文摘要现阶段基于通信的列车控制(CBTC)系统中,车载设备根据地面ATP系统的移动授权对列车进行超速防护,所有闭塞控制、进路控制、以及对线路障碍物状态的防护均由地面设备来完成...