信息物理融合系统的安全控制及网络仿真
| 摘要 | 第2-3页 |
| Abstract | 第3页 |
| 1 绪论 | 第7-13页 |
| 1.1 研究背景与意义 | 第7-9页 |
| 1.1.1 信息物理融合系统的概念 | 第7-8页 |
| 1.1.2 研究意义 | 第8-9页 |
| 1.2 国内外研究现状 | 第9-11页 |
| 1.2.1 CPS的研究进程 | 第9-10页 |
| 1.2.2 CPS面临的问题及研究现状 | 第10-11页 |
| 1.3 本文主要内容及文章结构 | 第11-13页 |
| 2 信息物理融合系统简介 | 第13-17页 |
| 2.1 信息物理融合系统与其他系统的关系 | 第13页 |
| 2.2 信息物理融合系统的应用 | 第13-16页 |
| 2.3 信息物理融合系统安全性研究的关键技术 | 第16-17页 |
| 3 基于混杂系统的安全验证算法 | 第17-29页 |
| 3.1 可达性分析 | 第17-19页 |
| 3.1.1 可达集算法 | 第17-18页 |
| 3.1.2 可达集计算过程 | 第18-19页 |
| 3.2 双星编队飞行建模 | 第19-20页 |
| 3.2.1 编队卫星相对运动模型及问题描述 | 第19-20页 |
| 3.3 从属卫星的可达集 | 第20-21页 |
| 3.4 凸集的内部近似 | 第21-26页 |
| 3.4.1 通用棱形方法 | 第22-23页 |
| 3.4.2 通用棱形方法与未简化凸多面体算法对比 | 第23-24页 |
| 3.4.3 使用内部近似后的可达集计算结果 | 第24-26页 |
| 3.5 从属卫星轨道机动数值仿真 | 第26-28页 |
| 3.6 本章小结 | 第28-29页 |
| 4 信息物理融合系统的安全控制 | 第29-49页 |
| 4.1 受攻击信息物理融合系统模型建立 | 第29-31页 |
| 4.1.1 攻击类型 | 第29页 |
| 4.1.2 系统模型 | 第29-31页 |
| 4.2 问题描述 | 第31-32页 |
| 4.3 控制算法研究 | 第32-36页 |
| 4.3.1 博弈论 | 第32-34页 |
| 4.3.2 LQG跟踪控制器算法 | 第34-36页 |
| 4.4 控制器设计 | 第36-41页 |
| 4.4.1 LQG跟踪控制器设计 | 第36-37页 |
| 4.4.2 有限域的极大极小控制器设计 | 第37-39页 |
| 4.4.3 时序攻击下的极大极小控制器设计 | 第39-41页 |
| 4.5 仿真案例—双水箱系统 | 第41-48页 |
| 4.5.1 双水箱系统介绍 | 第41-42页 |
| 4.5.2 双水箱系统建模 | 第42-45页 |
| 4.5.3 LQG控制仿真结果 | 第45-46页 |
| 4.5.4 基于博弈论的极大极小控制器仿真结果 | 第46-48页 |
| 4.6 本章小结 | 第48-49页 |
| 5 无线信息物理融合系统网络仿真 | 第49-57页 |
| 5.1 无线CPS仿真工具：GISOO | 第49-52页 |
| 5.1.1 GISOO仿真器结构 | 第49-51页 |
| 5.1.2 仿真系统搭建 | 第51-52页 |
| 5.2 双水箱系统的网络仿真 | 第52-56页 |
| 5.2.1 系统模型 | 第52-53页 |
| 5.2.2 仿真方案及结果 | 第53-56页 |
| 5.3 本章小结 | 第56-57页 |
| 结论 | 第57-58页 |
| 参考文献 | 第58-62页 |
| 攻读硕士学位期间发表学术论文情况 | 第62-63页 |
| 致谢 | 第63-65页 |
