逻辑控制器的形式验证及其应用

• 作者: 张学军 张苗苗 谢剑英
• 来源期刊: 化工自动化及仪表
• 学科: 工学
• 关键词: 逻辑控制器 混合系统 矩形自动机 形式验证 可达性
• 年，卷（期）: 2000,（3）
• 所属期刊栏目: 计算机应用
• 页码范围: 44-47
• 页数: 4页
• 分类号: TP214+.7
• 字数: 3711字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3932.2000.03.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢剑英	上海交通大学自动化系	240	3885	31.0	52.0
2	张苗苗	上海交通大学自动化系	20	236	8.0	15.0
3	张学军	上海交通大学自动化系	20	285	9.0	16.0