间歇式化工形式化建模与顺序控制器设计

罗继亮; 陈雪琨; 齐鹏飞; 赵坡

首页> 中文期刊> 《上海交通大学学报》 >间歇式化工形式化建模与顺序控制器设计

间歇式化工形式化建模与顺序控制器设计

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.

著录项

来源
《上海交通大学学报》 |2012年第12期|1896-1900|共5页
作者
罗继亮; 陈雪琨; 齐鹏飞; 赵坡;
展开▼
作者单位

华侨大学信息科学与工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类制冷理论;量测技术及仪表;
关键词
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控;

相似文献

中文文献
外文文献
专利

1. 顺序共享资源制造系统Petri网控制器的形式化设计方法 [J] . 李志武 ,郝林 . 机械科学与技术 . 2002,第003期
2. 顺序共享单一资源自动制造系统实时PETRI网控制器的一种形式化设计方法 [J] . 刘宏 ,李志武 ,叶尚辉 . 电子机械工程 . 1996,第004期
3. 基于Petri网的间歇式化工生产过程建模与调度监控器设计 [J] . 邹慧莉 ,金福江 ,崔华军 . 福州大学学报（自然科学版） . 2008,第006期
4. 航空机载嵌入式控制软件需求建模的形式化工程方法 [J] . 黄怿豪 ,冯劲草 ,郑寒月 . 计算机工程与科学 . 2019,第006期
5. 分布式智能顺序控制器的设计 [J] . 唐中燕 . 工业控制计算机 . 2007,第005期
6. 顺序共享资源自动制造系统PETRI网控制器的一种形式化设计方法 [C] . 刘宏 . 中国电子学会电子机械工程分会第三届学术年会 . 1996
7. 基于ARM的间歇式染色机模块化控制器设计 [A] . 林云飞 . 2015

间歇式化工形式化建模与顺序控制器设计

摘要

著录项

相似文献

相关主题

期刊订阅