混合系统的形式验证方法及其应用  CNKI文献

在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系统,错误运行将造成重大损失。而形式验证的目的在于检验混合系统是否在任何环境下都能安...

张雅顺 导师:方敏 合肥工业大学 2006-05-01 硕士论文

混合系统的形式验证方法  CNKI文献

在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介...

方敏 张雅顺... 《系统仿真学报》 2006年10期 期刊

PLC在发射控制系统中的可靠性应用研究  CNKI文献

基于PLC(可编程逻辑控制器)的发射控制系统冗余技术在运载火箭地面测试发射控制系统中有着广泛的应用。现有运载火箭大多采用并联PLC发射控制方式来提高发射的可靠性,在实际发射中取得了一定的成功。但此方式本身存在...

连盟 张雅顺... 《航天控制》 2015年01期 期刊

混杂系统验证中商迁移系统迁移关系的简化算法  CNKI文献

混杂系统的形式验证中,确定近似商迁移系统的迁移关系,需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点,结合凸多面体的性质,给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性...

方敏 李辉... 第二十九届中国控制会议论文集 2010-07-29 中国会议