混合系统的形式验证技术及其在化工过程控制中的应用
来源期刊：控制与决策2001年第2期
论文作者：张学军 谢剑英 张苗苗
文章页码：203 - 206
关键词：混合系统;矩形自动机;形式验证;可达性;
摘 要：针对 PL C等逻辑控制器控制连续对象的可靠性问题 ,给出了混合系统的形式验证的方法 ,即用混合矩形自动机建模 ,通过其商迁移的可达性分析 ,证明了控制程序的正确性。应用实例表明该方法是可行和有效的。
张学军，谢剑英，张苗苗
摘 要：针对 PL C等逻辑控制器控制连续对象的可靠性问题 ,给出了混合系统的形式验证的方法 ,即用混合矩形自动机建模 ,通过其商迁移的可达性分析 ,证明了控制程序的正确性。应用实例表明该方法是可行和有效的。
关键词：混合系统;矩形自动机;形式验证;可达性;
