混合系统的形式验证技术及其在化工过程控制中的应用

• 作者: 张学军 张苗苗 谢剑英
• 来源期刊: 控制与决策
• 学科: 工学
• 关键词: 混合系统 矩形自动机 形式验证 可达性
• 年，卷（期）: 2001,（2）
• 页码范围: 203-206
• 页数: 4页
• 分类号: TP301
• 字数: 2742字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0920.2001.02.017

摘要

针对PLC等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过其商迁移的可达性分析，证明了控制程序的正确性。应用实例表明该方法是可行和有效的。

作者信息

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