混合控制系统的C/E-PLC形式验证及其应用

摘要：

针对采用PLC的工业混合控制系统,在PLC自动机和C/E模型的基础上,给出了C/E-PLC自动机的混合控制系统PLC程序的形式验证以及在子系统中进行状态空间的矩形分解方法,并结合某具体化工过程,讨论其实际应用.

关键词： 混合系统 PLC自动机 C/E模型 形式验证

作者: 刘基顺 刘振娟 李宏光

作者单位: 北京化工大学信息科学与技术学院(北京)

会议类型: 国内会议

会议名称: 2003中国控制与决策学术年会

会议地点: 秦皇岛

会议语种:中文

页码: 265-267

在线出版日期: 2003-05-01（万方平台首次上网日期，不代表论文的发表时间）