本书包含两方面内容：一是动力学系统的稳定性和可达性分析，主要论述动力学系统的稳定性分析方法、稳定域计算方法、可达性分析方法和可达集计算方法；二是动力学系统稳定性和可达性分析技术在结冰飞机中的应用，主要论述结冰飞机的建模方法、稳定域分析方法、飞行安全边界分析、安全预警与操纵指引。