| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 致谢 | 第8-13页 |
| 第一章 绪论 | 第13-21页 |
| ·混杂系统的概念和特点 | 第13页 |
| ·混杂系统的两个例子 | 第13-15页 |
| ·两容水箱系统 | 第13-14页 |
| ·汽车运动系统 | 第14-15页 |
| ·混杂系统的发展概况 | 第15-16页 |
| ·混杂系统研究的主要方向 | 第16页 |
| ·混杂系统的形式化验证问题 | 第16-20页 |
| ·形式化验证方法 | 第16-17页 |
| ·混杂系统形式化验证 | 第17-18页 |
| ·混杂系统形式验证研究现状 | 第18-20页 |
| ·本文的主要内容 | 第20-21页 |
| 第二章 混杂系统验证的基本概念和原理 | 第21-35页 |
| ·混杂系统验证中的基本概念 | 第21-25页 |
| ·迁移系统 | 第21页 |
| ·商迁移系统 | 第21-22页 |
| ·仿真关系 | 第22页 |
| ·仿真对 | 第22-23页 |
| ·计算树逻辑CTL | 第23-25页 |
| ·混杂系统的形式化验证原理 | 第25-35页 |
| ·混杂系统形式化验证的流程 | 第25-26页 |
| ·混杂系统建模 | 第26-29页 |
| ·初始划分 | 第29-31页 |
| ·混杂系统的流管道近似 | 第31-33页 |
| ·构造商迁移系统 | 第33-35页 |
| 第三章 可达集表示方法研究 | 第35-42页 |
| ·可达集表示方法 | 第35-37页 |
| ·常见的可达集表示方法比较 | 第35-36页 |
| ·有向矩形壳法和凸多面体法 | 第36-37页 |
| ·有向凸多面体法的研究 | 第37-41页 |
| ·有向凸多面体算法 | 第37-39页 |
| ·有向矩形壳法、凸多面体法与有向凸多面体法比较分析 | 第39-41页 |
| ·实例 | 第41-42页 |
| 第四章 形式验证中流管道过近似混合算法 | 第42-54页 |
| ·流管道保守性判定方法 | 第42-50页 |
| ·观察比较法 | 第42页 |
| ·误差比较法 | 第42-44页 |
| ·体积比较法 | 第44-50页 |
| ·有向矩形壳和凸多面体混合算法 | 第50-51页 |
| ·有向矩形壳和凸多面体混合算法程序框图 | 第51-54页 |
| ·以误差比较法作为流管道保守性判断方法的算法程序框图 | 第51-53页 |
| ·以体积比较法作为流管道保守性判断方法的算法程序框图 | 第53-54页 |
| 第五章 验证实例 | 第54-65页 |
| ·三维空间非线性系统 | 第54-57页 |
| ·问题描述 | 第54-55页 |
| ·建立混杂自动机模型 | 第55页 |
| ·验证规范 | 第55-56页 |
| ·当可达集用凸多面体和有向矩形壳表示时进行验证 | 第56页 |
| ·当可达集用有向凸多面体表示时进行验证 | 第56-57页 |
| ·四维空间非线性系统 | 第57-60页 |
| ·问题描述 | 第57页 |
| ·建立混杂自动机模型 | 第57-58页 |
| ·验证规范 | 第58页 |
| ·当可达集用凸多面体和有向矩形壳表示时进行验证 | 第58-60页 |
| ·当可达集用有向凸多面体表示时进行验证 | 第60页 |
| ·验证结果分析 | 第60-61页 |
| ·使用流管道过近似混合算法进行形式验证 | 第61-65页 |
| ·使用体积比较法作为保守性评价方法进行验证 | 第61-62页 |
| ·使用误差比较法作为保守性评价方法进行验证 | 第62-65页 |
| 第六章 总结和展望 | 第65-66页 |
| 参考文献 | 第66-71页 |
