基于层次模型的混合系统形式化分析与验证
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-10页 |
| 第一章 引言 | 第10-18页 |
| ·混合系统的行为 | 第12页 |
| ·混合系统的形式化分析和验证方法 | 第12-15页 |
| ·混合系统的层次化设计方法 | 第15页 |
| ·混合系统的研究动态和相关工作比较 | 第15-18页 |
| 第二章 混合系统的形式化分析基础 | 第18-26页 |
| ·系统和控制基础 | 第18-23页 |
| ·动态系统和时间变化系统 | 第19-21页 |
| ·状态、事件、连续系统和离散系统 | 第21-22页 |
| ·控制系统 | 第22-23页 |
| ·混合系统 | 第23-24页 |
| ·本章小结 | 第24-26页 |
| 第三章 混合系统的层次化形式模型 | 第26-42页 |
| ·层次化概念模型的符号表示 | 第29-32页 |
| ·层次化形式模型的正交分解 | 第32-34页 |
| ·混合系统层次化建模举例 | 第34-40页 |
| ·比例/积分/微分智能控制算法 | 第36页 |
| ·程控水箱的层次化模型 | 第36-40页 |
| ·本章小结 | 第40-42页 |
| 第四章 扩展的时段演算方法 | 第42-66页 |
| ·时段演算基础 | 第42-45页 |
| ·扩展的时段演算 | 第45-48页 |
| ·扩展时段演算的语法 | 第46-48页 |
| ·基于层次化形式模型的扩展时段演算的语义 | 第48-54页 |
| ·基于混合系统层次化形式模型的证明体系 | 第53-54页 |
| ·基于时段演算的程控水箱系统验证 | 第54-65页 |
| ·使用扩展时段演算推演程控水箱系统 | 第57-65页 |
| ·本章小结 | 第65-66页 |
| 第五章 混合自动机方法 | 第66-92页 |
| ·混合自动机基础 | 第66-70页 |
| ·混合自动机对应的变迁系统 | 第67-68页 |
| ·线性混合自动机 | 第68-69页 |
| ·混合自动机的可达性分析方法 | 第69-70页 |
| ·混合系统层次化形式模型的自动机表示 | 第70-71页 |
| ·基于混合自动机的吊挂系统分析 | 第71-90页 |
| ·吊挂系统的场景实例及层次化形式模型 | 第72-79页 |
| ·吊挂系统的混合自动机表示 | 第79-83页 |
| ·可达性分析 | 第83-90页 |
| ·本章小结 | 第90-92页 |
| 第六章 结论 | 第92-94页 |
| 参考文献 | 第94-100页 |
| 发表文章目录 | 第100-102页 |
| 致谢 | 第102页 |
