首页> 中文会议>2003中国控制与决策学术年会 >混合控制系统的C/E-PLC形式验证及其应用

混合控制系统的C/E-PLC形式验证及其应用

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对采用PLC的工业混合控制系统,在PLC自动机和C/E模型的基础上,给出了C/E-PLC自动机的混合控制系统PLC程序的形式验证以及在子系统中进行状态空间的矩形分解方法,并结合某具体化工过程,讨论其实际应用.

著录项

来源
《2003中国控制与决策学术年会》|2003年|265-267|共3页
会议地点秦皇岛
作者
刘基顺; 刘振娟; 李宏光;
展开▼
作者单位

中国航空学会;

中国兵工学会;

中国自动化学会;

中国运筹学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类自动化装置与设备 ;
关键词
混合系统; PLC自动机; C/E模型; 形式验证;

相似文献

中文文献
外文文献
专利

1. 混合系统的形式验证技术及其在化工过程控制中的应用 [J] . 张学军 ,谢剑英 ,张苗苗 . 控制与决策 . 2001 ,第2期
2. 混合系统的形式验证方法 [J] . 方敏 ,张雅顺 ,李辉 . 系统仿真学报 . 2006 ,第10期
3. Synopsys推出新的混合形式验证工具Magellan^TM [J] . . 世界产品与技术 . 2003 ,第6期
4. 静态形式验证在跨时钟域和复位验证中的应用 [J] . 张启晨 . 中国集成电路 . 2019 ,第004期
5. 基于属性的形式验证技术及应用 [J] . 游余新 . 中国集成电路 . 2013 ,第012期
6. 混合系统的形式验证原理 [C] . 张学军 ,谢剑英 . 第十一届过程控制科学报告会 . 2000
7. 混合系统C/E-PLC自动机形式验证及其应用 [A] . 刘基顺 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号