状态空间压缩相关论文
本文给出了齐次有限马尔科夫链状态空间的闭集族的算法,为了减少计算量和无重复地列出全体闭集,引进了状态空间压缩法和逐点删去法。......
利用时间自动机对嵌入式系统进行建模是一种有效方式,但由于时间自动机引入时间维度,导致状态空间是无限的,增加了系统分析验证的......