混杂系统是连续变量动态系统和离散事件动态系统相结合,并且相互交换信息的一类系统。其中连续子系统的动态特征随时间的发展而不断变化,离散性子系统的动态演化受事件的驱动,二者相互作用,使系统的运行轨迹整体上呈现离散位置的迁移,局部上呈现连续状态的渐进演化,在综合了连续变量动态系统和离散时间系统演化特征的基础上,表现出更加复杂的动态行为。混杂系统的形式验证是混杂系统的重要研究方向之一,它在给定的初始条件下,分析系统的可达集是否都在目标状态集合内。本文围绕混杂系统的近似分析方法展开研究,从混杂系统本身的特点出发,以求解混杂系统的可达集为目标,并用多面体表示可达集,具有良好的保守性,但是多面体的计算非常复杂,且随着维数增长,多面体的顶点和面的个数增长迅速,在系统维数高时很难处理。所以求解出一种新的计算近似多面体体积的方法----分割法。该方法是依据分割法的原理,结合混杂自动机的定义,构造一个基于分割的近似混杂自动机进而求解可达集;然后分析基于分割的近似混杂自动机的行为等价。