| 时间自动机的自动抽象算法 |
| |
| 引用本文： | 支小莉,童维勤,戎璐. 时间自动机的自动抽象算法[J]. 西南交通大学学报, 2004, 39(5): 670-674 |
| |
| 作者姓名： | 支小莉 童维勤 戎璐 |
| |
| 作者单位： | 1. 上海大学计算机学院,上海,200072
2. 中国科学院上海微系统和信息技术研究所,上海,200050 |
| |
| 基金项目： | 国家自然科学基金资助项目(60173103)，上海市科委科技项目(03dz15026) |
| |
| 摘 要： | 为对付时间自动机规格分析验证中的状态爆炸问题，提出了一种自动抽象算法．它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象，从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度，实验证明，该算法可应用于任何满足线性复位性质的时间自动机。此外，这种算法还可以用来简化系统描述，提高其可理解性。
|
| 关 键 词： | 自动 算法 时间自动机 抽象 |
| 文章编号： | 0258-2724(2004)05-0670-05 |
Automatic Abstraction Algorithm for Timed Automata |
| |
| ZHI Xiao-li,TONG Wei-qin,RONG Lu. Automatic Abstraction Algorithm for Timed Automata[J]. Journal of Southwest Jiaotong University, 2004, 39(5): 670-674 |
| |
| Authors: | ZHI Xiao-li TONG Wei-qin RONG Lu |
| |
| Affiliation: | ZHI Xiao-li~1,TONG Wei-qin~1,RONG Lu~2 |
| |
| Abstract: | ion |
| |
| Keywords: | automatic algorithm timed automaton |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
