| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 1 绪论 | 第8-11页 |
| ·课题来源及其意义 | 第8-9页 |
| ·本论文的内容安排 | 第9-11页 |
| 2 混合系统及其形式化验证 | 第11-29页 |
| ·混合系统研究的主要问题 | 第11-12页 |
| ·混合系统的特点与分类 | 第12-14页 |
| ·混合系统的数学基础 | 第14-21页 |
| ·混合系统的几个重要模型 | 第21-24页 |
| ·混合系统的形式化验证问题 | 第24-29页 |
| 3 混合系统的抽象 | 第29-37页 |
| ·连续动态系统的抽象 | 第30-34页 |
| ·混合自动机的抽象 | 第34-35页 |
| ·混合系统抽象应用举例 | 第35-37页 |
| 4 供热抽象系统的形式化自动验证 | 第37-50页 |
| ·供热混合系统的抽象 | 第38页 |
| ·供热混合系统的建模 | 第38-40页 |
| ·抽象系统的自动验证 | 第40-47页 |
| ·其它形式化验证方法 | 第47-50页 |
| 5 全文总结与研究展望 | 第50-51页 |
| 致 谢 | 第51-52页 |
| 参考文献 | 第52-57页 |
| 附录 攻读学位期间发表的论文 | 第57页 |