| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-12页 |
| ·研究背景 | 第7-8页 |
| ·研究现状、意义 | 第8-10页 |
| ·研究内容 | 第10-12页 |
| 第二章 混合系统的基本理论 | 第12-26页 |
| ·混合自动机(Hybrid Automaton) | 第12-14页 |
| ·迁移系统(Transition System) | 第14-16页 |
| ·混合自动机的操作语义 | 第16-18页 |
| ·可达性分析 | 第18-21页 |
| ·混合系统形式化分析 | 第21-26页 |
| ·模型检验 | 第21-22页 |
| ·计算树逻辑 | 第22-25页 |
| ·相关工具介绍 | 第25-26页 |
| 第三章 计算平台:ReachLab | 第26-41页 |
| ·特定域建模语言(Domain Specific Modeling Language,DSML) | 第26-27页 |
| ·混合系统分析和设计语言(Hybrid System Analysis and Design Language,HADL) | 第27-33页 |
| ·计算平台:ReachLab | 第33-39页 |
| ·水平集工具包(Level set toolbox) | 第39-41页 |
| 第四章 可达性分析算法的设计与应用 | 第41-62页 |
| ·可达性分析的引出 | 第41-43页 |
| ·前向可达性分析算法的设计 | 第43-45页 |
| ·前向可达性分析算法的实现 | 第45-48页 |
| ·前向可达性分析算法的正确性验证 | 第48-54页 |
| ·可达集的符号化表示 | 第48-49页 |
| ·量词消去(Quantifier Elimination) | 第49页 |
| ·算法的正确性验证 | 第49-54页 |
| ·前向可达性分析算法的应用 | 第54-59页 |
| ·在ReachLab中进行形式化分析 | 第59-62页 |
| 第五章 误差分析 | 第62-67页 |
| ·误差分析方法 | 第62-67页 |
| 第六章 结语 | 第67-69页 |
| ·全文总结 | 第67-68页 |
| ·展望 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 致谢 | 第72页 |
