10.3969/j.issn.0258-2724.2004.05.026
时间自动机的自动抽象算法
为对付时间自动机规格分析验证中的状态爆炸问题,提出了一种自动抽象算法.它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象,从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度.实验证明,该算法可应用于任何满足线性复位性质的时间自动机.此外,这种算法还可以用来简化系统描述,提高其可理解性.
自动、算法、时间自动机、抽象
39
TP311.5(计算技术、计算机技术)
国家自然科学基金60173103;上海市科委资助项目03dz15026
2004-12-02(万方平台首次上网日期,不代表论文的发表时间)
共5页
670-674