| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第1章 绪论 | 第10-18页 |
| ·课题背景及研究意义 | 第10-11页 |
| ·课题的国内外研究现状 | 第11-16页 |
| ·混杂系统及其建模 | 第11-14页 |
| ·混杂系统控制 | 第14-15页 |
| ·混杂系统形式验证 | 第15-16页 |
| ·课题的主要研究内容以及论文结构安排 | 第16-18页 |
| 第2章 混杂系统混合逻辑动态建模 | 第18-34页 |
| ·MLD模型 | 第18-23页 |
| ·命题逻辑与线性不等式 | 第19-20页 |
| ·布尔表达式的转化 | 第20-23页 |
| ·MLD模型建模方法 | 第23-25页 |
| ·MLD模型建模步骤 | 第23-24页 |
| ·二阶系统MLD模型的建立 | 第24-25页 |
| ·基于MLD的CSTR建模研究 | 第25-33页 |
| ·CSTR过程 | 第25-27页 |
| ·CSTR系统的线性化与离散化 | 第27-28页 |
| ·基于HYSDEL软件的 CSTR系统的MLD模型 | 第28-29页 |
| ·基于替代法的 CSTR系统的MLD模型 | 第29-33页 |
| ·两种CSTR系统的MLD模型比较 | 第33页 |
| ·本章小结 | 第33-34页 |
| 第3章 基于MLD模型的混杂系统优化控制 | 第34-51页 |
| ·基于MLD模型的优化控制问题 | 第34-40页 |
| ·混杂系统开环约束优化控制 | 第34-35页 |
| ·基于MIQP的混杂优化仿真 | 第35-40页 |
| ·基于MIQP优化求解算法的特点分析 | 第40页 |
| ·基于MLD模型的混杂预测控制 | 第40-44页 |
| ·混杂系统的混合整数预测控制 | 第41-42页 |
| ·基于MIQP的预测控制 | 第42-44页 |
| ·基于MLD模型的CSTR混杂预测控制研究 | 第44-50页 |
| ·基于2 范数的CSTR模型的混杂预测控制 | 第44-48页 |
| ·基于无穷范数性能指标的CSTR预测控制 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第4章 混杂系统的形式验证原理 | 第51-59页 |
| ·混杂系统形式验证定义及其验证方法 | 第51-52页 |
| ·形式验证定义 | 第51页 |
| ·形式验证方法 | 第51-52页 |
| ·基于模型检验的验证工具及其比较 | 第52-53页 |
| ·Hytech | 第52页 |
| ·CheckMate | 第52页 |
| ·Verdict | 第52页 |
| ·d/dt | 第52-53页 |
| ·各种验证工具比较 | 第53页 |
| ·CheckMate在浓度控制系统中的应用 | 第53-58页 |
| ·浓度控制系统介绍 | 第53-54页 |
| ·混合自动机模型 | 第54-55页 |
| ·CheckMate模型 | 第55-56页 |
| ·验证仿真及其结果分析 | 第56-58页 |
| ·本章小结 | 第58-59页 |
| 第5章 基于MLD模型的CSTR形式验证 | 第59-69页 |
| ·基于MLD模型的可达性分析问题 | 第59-60页 |
| ·基于MLD模型的验证算法 | 第60-65页 |
| ·可达性计算 | 第61页 |
| ·穿越界限确定 | 第61页 |
| ·交集的近似 | 第61-62页 |
| ·检测 | 第62页 |
| ·演进图标 | 第62-64页 |
| ·简单二阶系统验证 | 第64-65页 |
| ·基于MLD的CSTR形式验证 | 第65-68页 |
| ·CSTR的可达集计算 | 第66页 |
| ·CSTR形式验证分析 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 总结 | 第69-71页 |
| 参考文献 | 第71-76页 |
| 附录 | 第76-83页 |
| 附录A 性能指标最小化问题转换为标准的MIQP方法 | 第76-78页 |
| 附录B CSTR系统建模时的HYSDEL语句及其生成的MLD模型 | 第78-81页 |
| 附录C 用替代法所得的CSTR系统的MLD模型 | 第81-83页 |
| 致谢 | 第83页 |
