未找到相关数据
逻辑控制器的形式验证及其应用
被引：2
作者：
张学军
张苗苗
谢剑英
机构：
[1] 上海交通大学自动化系!上海
来源：
关键词：
逻辑控制器;
混合系统;
矩形自动机;
形式验证;
可达性;
D O I：
暂无
中图分类号：
TP214.7 [];
学科分类号：
摘要：
针对PLC等逻辑控制器控制连续对象的可靠性问题 ,给出了混合系统的形式验证的方法 ,即用混合矩形自动机建模 ,通过可达性分析 ,从而证明控制程序的正确性 ,最后结合化工过程控制中的应用实例做了说明。
引用
收藏
页码：44 / 47
页数：4
相关论文