论文部分内容阅读
混合系统是指嵌入于物理环境中数字实时系统，由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决。近年来，人们普遍采用模型检验方法对混合系统进行验证，由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统，因此我们着重研究这类混合系统的验证算法。