混合过程是既有连续动态变量,又有离散逻辑变量的复杂动态变化系统,混合现象普遍存在于流程生产工业中,目前对其进行的研究刚刚起步。同时可编程序控制器(Programmable Logic Control PLC)大量应用在工业生产中的混合系统的控制中,对程序控制的关键参数由于多方面原因,不可能在实际设备中进行反复实际实验,因此需要在实验中模拟运行环境验证以满足实际要求。论文首先在前人研究的基础上分析了混合系统的几种建模方法、数学基础、行为特性并给出了形式验证技术的具体形式。随后介绍了PLC自动机的原理、性质并给出了相应实例,接着给出了C/E模型(condition/event)及其基本连接方式。针对采用了PLC的工业混合控制系统,在PLC自动机和C/E模型的基础上,分别指出了它们的不足,然后给出了C/E-PLC自动机作为混合控制系统建模和PLC程序控制的形式验证技术,并且在连续子系统模型中应用状态空间的矩形分解方法。最后,结合某具体化工厂化工间歇反应过程,应用C/E-PLC自动机技术,在Matlab下运用Simulink和Stateflow 相结合来讨论其实际应用,最后给出了满意的仿真结果。 论文的工作表明,采用C/E-PLC自动机建模并且以此为基础的形式验证技术开辟了混合系统研究的一个新的领域,由于PLC在工<WP=4>业中的广泛应用,所以这种建模方法在化工流程生产具有普遍性,有着广阔的应用前景。