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

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

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

刘基顺、刘振娟、李宏光

展开 >

北京化工大学信息科学与技术学院(北京)

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

中国航空学会

中国兵工学会

中国自动化学会

中国运筹学会

2003中国控制与决策学术年会

2003-05-01

秦皇岛

2003中国控制与决策学术年会论文集

265-267

2003