针对神经网络控制系统的安全性验证, 提出了基于多项式抽象的障碍函数构造方法. 首先, 采用全局扇区约束方法,局部扇区约束方法和区域叠加约束方法等对神经网络模型进行抽象,从而得到了相应的半代数约束;然后, 运用计算实代数几何中的正点定理, 将障碍函数条件转变为相应的SOS约束条件,再采用半正定规划方法进行求解. 最后,通过实例对上述不同的神经网络抽象方法就神经网络控制系统的障碍函数构造能力的影响进行了分析与比较.