封面
声明
中文摘要
英文摘要
目录
符号说明
第一章 绪论
1.1研究的背景与意义
1.2研究现状
1.3论文的主要内容及章节安排
第二章 时间依赖的HJI PDE 可达集算法
2.1后向可达集
2.2时间依赖的HJ PDE算法
2.3几种可达集算法的比较
2.4本章小结
第三章 连续系统的安全可达集分析
3.1理想的纵向飞行动力学模型
3.2考虑人在环的6自由度飞行动力学模型
3.3 6自由度人在环模型在下降过程的单步仿真
3.4本章小结
第四章 混杂系统的安全可达集分析
4.1飞机的进近着陆过程
4.2混杂系统的可达集算法
4.3纵向模型考虑襟翼切换的可达集分析
4.4 6自由度飞行动力学模型多步可达集分析
4.5安全性判据
4.6本章小结
第五章 总结与展望
5.1主要结论
5.2研究展望
参 考 文 献
致谢
攻读硕士学位期间已发表或录用的论文