混合系统CE-LC自动机形式验证及其应用.pdf

北京化工人学硕士学位论史 混合系统C／E．PLC自动机形式验证及其应用 摘要 ‰仓过程是既有连续动态变量，又有离散逻辑变量的复杂动态 变化系统，混裔现象普遍存在于流程生产工业中，目前对其进行的 Control 研究刚刚起步。同时可编程序控制器(Programmable Logic PLC)大量应用在工业生产中的混合系统的控制中，对程序控制的 关键参数由于多方面原因，不可能在实际设备中进行反复实际实 、 验，因此需要在实验中模拟运行环境验证以满足实际要求。又 论文首先在前人研究的基础上分析了混硷系统的几种建模方 法、数学基础、行为特性并给出了形式验证技术的具体形式。随后 介绍了PLC自动机的原理、性质并给出了相应实例，接着给出了 工业