混合系统形式验证中的问题研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 绪论 | 第14-19页 |
| ·混合系统简介 | 第14-15页 |
| ·混合系统理论的发展概况 | 第15-16页 |
| ·混合系统形式验证的意义与现状 | 第16-17页 |
| ·本文的内容和结构 | 第17-19页 |
| 第二章 混合系统建模与分析 | 第19-26页 |
| ·混合系统的性质分析 | 第19-21页 |
| ·微分方程和微分包 | 第19-20页 |
| ·混合系统的性质分析 | 第20-21页 |
| ·基于自动机的混合系统建模 | 第21-26页 |
| ·混合自动机 | 第21-22页 |
| ·线性混合系统 | 第22-23页 |
| ·线性混合自动机 | 第23-24页 |
| ·线性混合自动机实例 | 第24-26页 |
| 第三章 混合系统的形式验证方法 | 第26-39页 |
| ·模型检验 | 第26-28页 |
| ·计算树逻辑与受限计算树逻辑 | 第26-27页 |
| ·显式模型检验 | 第27-28页 |
| ·混合系统的形式验证结构 | 第28-30页 |
| ·迁移系统与商迁移系统 | 第28-29页 |
| ·仿真对与可决策性 | 第29页 |
| ·混合系统形式验证过程 | 第29-30页 |
| ·近似商迁移系统 | 第30-33页 |
| ·标记迁移系统和仿真对 | 第30-31页 |
| ·商迁移系统(QTS) | 第31-32页 |
| ·近似商迁移(AQTS) | 第32页 |
| ·商迁移系统验证 | 第32-33页 |
| ·流管道近似 | 第33-37页 |
| ·流管道计算 | 第33-36页 |
| ·流管道近似应用于仿射系统 | 第36-37页 |
| ·阈值切换面的状态划分 | 第37-39页 |
| 第四章 流管道近似算法改进 | 第39-48页 |
| ·变时间间隔流管道近似 | 第39-41页 |
| ·流管道的逼近近似 | 第41-43页 |
| ·多面体的逼近近似 | 第43-44页 |
| ·切换面上凸多面体近似 | 第44-46页 |
| ·基于反例的改进划分与划分简化 | 第46-48页 |
| 第五章 验证实例与结果分析 | 第48-65页 |
| ·验证工具 CheckMate | 第48-50页 |
| ·切换系统 | 第50-58页 |
| ·倒立摆模型 | 第50-53页 |
| ·线性切换系统 | 第53-58页 |
| ·跳跃小球模型验证 | 第58-65页 |
| ·模型介绍与规范要求 | 第58-59页 |
| ·混合自动机 | 第59页 |
| ·流管道近似 | 第59-64页 |
| ·对比分析 | 第64-65页 |
| 第六章 总结与展望 | 第65-69页 |
| 参考文献 | 第69-73页 |
