混合系统的形式验证原理

摘要：

针对PLC等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过对其商迁移的可达性分析，证明控制程序的正确性，最后结合化工过程控制中的应用实例做了说明。

关键词： 混合系统 矩形自动机 形式验证 过程控制 化工过程 逻辑控制器

作者: 张学军 谢剑英

作者单位: 上海交通大学自动化系

会议类型: 国内会议

会议名称: 第十一届过程控制科学报告会

会议地点: 呼和浩特

会议语种:中文

页码: 11～15

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