混合系统C/E-PLC自动机形式验证及其应用
论文首先在前人研究的基础上分析了混合系统的几种建模方法、数学基础、行为特性并给出了形式验证技术的具体形式.随后介绍了PLC自动机的原理、性质并给出了相应实例,接着给出了C/E模型(condition/event)及其基本连接方式.针对采用了PLC的工业混合控制系统,在PLC自动机和C/E模型的基础上,分别指出了它们的不足,然后给出了C/E-PLC自动机作为混合控制系统建模和PLC程序控制的形式验证技术,并且在连续子系统模型中应用状态空间的矩形分解方法.最后,结合某具体化工厂化工间歇反应过程,应用C/E-PLC自动机技术,在Matlab下运用Simulink和Stateflow相结合来讨论其实际应用,最后给出了满意的仿真结果.
混合系统;PLC自动机;C/E模型;可编程序控制器
北京化工大学
硕士
控制理论与控制工程
刘振娟
2003
中文
TQ052
81
2004-04-08（万方平台首次上网日期，不代表论文的发表时间）