混合系统的形式验证技术及其在化工过程控制中的应用-控制与决策.PDFVIP

第16 卷第2 期 2001年3 月 Vol. 16 No . 2 CON TR OL A N D DE CI S I ON 　 Mar. 2001 : 1001-0920(2001) 02-0203-04 张学军, 谢剑英, 张苗苗 ( , 200030) : 针对PLC 等逻辑控制器控制连续对象的可靠性问题, 给出了混合系统的形 验证的方法, 即 用混合矩形自动机建模, 通过其商迁移的可达性分析, 证明了控制程序的正确性。应用实例表明该方法 是可行和有效的。 : 混合系统; 矩形自动机; 形 验证; 可达性 : TP 301: A Formal Verification of Hybrid Systems and Its Application on Chemical Pro