本书包含两方面内容：一是动力学系统的稳定性和可达性分析，主要论述动力学系统的稳定性分析方法、稳定域计算方法、可达性分析方法和可达集计算方法；二是动力学系统稳定性和可达性分析技术在结冰飞机中的应用，主要论述结冰飞机的建模方法、稳定域分析方法、飞行安全边界分析、安全预警与操纵指引。
本书是面向控制、航空宇航等专业研究生的动力学系统教程，读者需具备数学分析、线性代数、矩阵论和偏微分方程等基础知识。同时，本书也可作为飞行安全领域科研人员和工程技术人员的参考书。

前言
第1章 绪论
1.1 动力学系统稳定性研究现状
1.2 动力学系统可达性研究现状
1.3 飞机结冰研究意义及现状
1.3.1 飞机结冰研究意义
1.3.2 飞机结冰研究现状
1.4 本书各章内容安排
第2章 非线性动力学系统的稳定性与稳定域
2.1 引言
2.2 非线性动力学系统的稳定域
2.2.1 稳定域相关概念
2.2.2 稳定域的确定或估计
2.3 二维稳定流形的自适应推进算法
2.3.1 初始邻域和初始备选网格
2.3.2 相切条件
2.3.3 单元尺寸自适应
2.3.4 自适应推进
2.3.5 Lorenz流形算例
2.3.6 类球面流形算例
2.4 本章小结
第3章 非线性动力学系统的可达性与可达集
3.1 引言
3.2 非线性动力学系统的可达集
3.2.1 可达集相关概念
3.2.2 可达集的计算
3.2.3 状态空间中与可达集相关的函数
3.3 稳定域与可达集
3.3.1 稳定域与可达集之间的关系
3.3.2 基于HJPDE的稳定域估计算法
3.3.3 算例
3.3.4 稳定流形方法与HJPDE方法的对比
3.4 本章小结
第4章 结冰飞机的非线性动力学建模
4.1 飞机本体运动方程
4.1.1 参考系
4.1.2 刚体飞机基本运动方程
4.2 飞机气动力及力矩
4.2.1 线性气动系数模型
4.2.2 非线性气动系数模型
4.3 结冰对飞机气动特性的影响
4.3.1 结冰影响估算模型
4.3.2 大迎角区域结冰影响估算模型的修正
4.3.3 结冰飞机的动力学仿真
4.3.4 结冰飞机的不确定性非线性模型
4.4 本章小结
第5章 结冰飞机纵向非线性动力学稳定域分析
5.1 引言
5.2 结冰飞机纵向非线性动力学模型
5.2.1 纵向非线性模型
5.2.2 结冰飞机气动系数的变化
5.3 飞机本体纵向非线性动力学稳定域
5.4 结冰对飞机稳定域的影响
5.5 本章小结
第6章 基于可达集理论的结冰飞机安全边界分析
6.1 引言
6.2 背景飞机纵向不确定性非线性模型
6.3 飞行安全边界与可达集分析
6.3.1 不确定性非线性系统的可达集分析
6.3.2 飞行安全边界计算
6.4 结冰对飞行安全边界的影响
6.4.1 干净飞机的飞行安全边界
6.4.2 结冰飞机飞行安全边界的变化
6.5 本章小结
第7章 基于模糊推理的结冰飞机安全预警
7.1 引言
7.2 结冰飞机的安全集
7.2.1 GTM飞机纵向不确定性非线性模型
7.2.2 GTM飞机安全集的计算
7.3 安全预警变量
7.4 模糊逻辑
7.4.1 模糊集合与模糊算子
7.4.2 模糊推理
7.5 安全预警
7.6 本章小结
第8章 结冰飞机安全预警与操纵指引系统设计及初步实现
8.1 引言
8.2 结冰飞机安全预警与操纵指引系统设计
8.3 基于HUD的结冰飞机安全预警与操纵指引初步实现
8.3.1 安全边界显示模块
8.3.2 安全预警模块
8.3.3 边界保护操纵指引模块
8.3.4 初步实现结果
8.4 本章小结
第9章 总结与展望
9.1 主要研究工作和结论
9.2 主要创新性工作
9.3 研究展望
参考文献