| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-15页 |
| ·课题的来源及意义 | 第9-10页 |
| ·混杂系统国内外研究现状 | 第10-13页 |
| ·混杂系统建模 | 第10-11页 |
| ·混杂系统控制 | 第11-12页 |
| ·混杂系统应用 | 第12页 |
| ·混杂系统形式验证 | 第12-13页 |
| ·本文主要内容及结构安排 | 第13-15页 |
| 第2章 混杂系统混合逻辑动态建模 | 第15-31页 |
| ·混合逻辑动态（MLD）模型 | 第15-24页 |
| ·命题演算与线性整数规划 | 第16-19页 |
| ·Hysdel语言建模 | 第19-24页 |
| ·基于MLD的CSTR建模研究 | 第24-28页 |
| ·CSTR工艺过程及数学分析 | 第24-26页 |
| ·CSTR模型线性化 | 第26-27页 |
| ·CSTR系统MLD建模 | 第27-28页 |
| ·模型等价 | 第28-30页 |
| ·本章小结 | 第30-31页 |
| 第3章 基于混合逻辑动态模型的预测控制研究 | 第31-48页 |
| ·模型预测控制(Model Predictive Control，MPC) | 第31-33页 |
| ·模型预测控制的发展 | 第31-32页 |
| ·预测控制的基本原理 | 第32-33页 |
| ·基于MLD的混杂系统优化控制 | 第33-40页 |
| ·混合MLD的稳定性分析 | 第33-36页 |
| ·混合逻辑动态系统的开环约束最优控制 | 第36-40页 |
| ·基于MLD的模型预测控制 | 第40-47页 |
| ·基于MIQP的MLD系统的模型预测控制 | 第40-44页 |
| ·基于MILP的MLD系统的模型预测控制 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 第4章 混杂系统形式化验证研究 | 第48-58页 |
| ·混杂系统形式验证基本原理 | 第48-51页 |
| ·混杂系统形式化验证 | 第48-49页 |
| ·混杂系统形式验证方法 | 第49-51页 |
| ·混杂系统验证工具 | 第51-52页 |
| ·形式验证仿真研究 | 第52-57页 |
| ·弹跳球系统描述 | 第52-53页 |
| ·弹跳球的CheckMate模型 | 第53-54页 |
| ·仿真结果分析 | 第54-57页 |
| ·本章小结 | 第57-58页 |
| 第5章 基于MLD的CSTR混杂形式验证技术 | 第58-69页 |
| ·混合逻辑动态系统形式验证问题 | 第58-59页 |
| ·MLD系统形式验证的一般步骤 | 第59-62页 |
| ·基于数学规划的MLD系统形式验证 | 第62-65页 |
| ·基于MLD的形式验证算法研究 | 第62-64页 |
| ·算法的复杂性 | 第64-65页 |
| ·基于MLD的CSTR形式验证 | 第65-68页 |
| ·简单系统验证实例 | 第65-66页 |
| ·基于MLD的CSTR形式验证 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 总结与展望 | 第69-71页 |
| 参考文献 | 第71-77页 |
| 附录 | 第77-84页 |
| 附录A 基于HYSDEL语言的CSTR系统MLD模型 | 第77-80页 |
| 附录B MLD预测控制问题转化为MIQP问题 | 第80-84页 |
| 攻读硕士期间学术成果 | 第84-85页 |
| 致谢 | 第85页 |