自动导引车的建模与形式化验证
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第12-18页 |
| 1.1 研究背景及意义 | 第12-13页 |
| 1.2 国内外的研究现状 | 第13-15页 |
| 1.3 课题研究的主要内容 | 第15页 |
| 1.4 本文的主要贡献 | 第15-16页 |
| 1.5 本文的组织结构 | 第16-18页 |
| 第二章 形式化方法与混杂系统概述 | 第18-28页 |
| 2.1 逻辑 | 第18-19页 |
| 2.2 形式化验证 | 第19-22页 |
| 2.2.1 等价性验证 | 第20-21页 |
| 2.2.2 模型检验 | 第21页 |
| 2.2.3 定理证明 | 第21-22页 |
| 2.3 混杂系统 | 第22-27页 |
| 2.4 本章小结 | 第27-28页 |
| 第三章 自动导引车的建模 | 第28-56页 |
| 3.1 自动导引车 | 第28-31页 |
| 3.2 自动导引车建模 | 第31-48页 |
| 3.2.1 混杂输入输出自动机 | 第31-34页 |
| 3.2.2 自动导引车分解建模 | 第34-45页 |
| 3.2.3 自动导引车各部分模型组合 | 第45-48页 |
| 3.3 模型抽象 | 第48-50页 |
| 3.4 互模拟关系的验证 | 第50-53页 |
| 3.5 本章总结 | 第53-56页 |
| 第四章 自动导引车的形式化验证 | 第56-65页 |
| 4.1 性质的抽取 | 第56-57页 |
| 4.2 性质验证 | 第57-61页 |
| 4.3 约束分析 | 第61-62页 |
| 4.4 存在的问题 | 第62-64页 |
| 4.5 本章总结 | 第64-65页 |
| 第五章 结论与展望 | 第65-68页 |
| 5.1 结论 | 第65页 |
| 5.2 展望 | 第65-68页 |
| 参考文献 | 第68-72页 |
| 致谢 | 第72-74页 |
| 研究成果及发表的学术论文 | 第74-76页 |
| 作者及导师简介 | 第76-77页 |
| 附件 | 第77-78页 |
