混合系统可达集计算方法研究

形式化验证技术是验证混合系统能否在给定的环境下安全运行并能达到给定目标状态的一种有效方法 ,其中,混合系统的可达集计算是形式化验证安全性分析的关键步骤。本文首先介绍和研究了基于水平集方法和哈密顿-雅可比方程对混合系统的可达集分析和计算,并通过飞机碰撞系统说明该方法的可行性。