线性混成自动机相关论文
满足各种时间约束是实时嵌入式系统设计的一个重要目标。通常,时间约束要求实时系统在满足功能性需求的同时,还必须保证系统行为的......
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一......
混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相......
中断是嵌入式系统进行实时响应的重要机制.以测试为基础的传统方法在处理中断驱动的系统时,由于系统可能的运行轨迹空间无穷,其有......
混成系统是一类包含连续和离散行为的复杂系统,被广泛应用于工业控制系统的建模,混成自动机是当前其主流建模语言,混成自动机的有......
混成自动机行为中既包含离散行为又包含连续行为，非常复杂。其安全性验证问题难以解决，即使是线性混成自动机，它的可达性问题也被证明......
