首页|混合系统的形式验证原理

混合系统的形式验证原理

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

张学军、谢剑英

展开 >

上海交通大学自动化系

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

中国化工学会

中国自动化学会

第十一届过程控制科学报告会

2000-08-01

呼和浩特

清华大学学报(自然科学版)

11-15

2000