不可控变迁

作品数：11被引量：11H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：朱金旺邢科义颜钢锋张瑶瑶刘妹琴更多>>
相关机构：合肥工业大学浙江工商大学西安电子科技大学河北大学更多>>
相关期刊：《合肥工业大学学报（自然科学版）》《控制工程》《自动化学报》《上海交通大学学报》更多>>
相关基金：国家自然科学基金浙江省教育厅科研计划国家重点实验室开放基金国家科技型中小企业技术创新基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
含不可观和不可控变迁Petri网的控制器综合方法
《河北大学学报（自然科学版）》2023年第5期517-524,共8页郝晋渊 高丽敏 冉宁 黄淼 郝真鸣 
国家自然科学基金资助项目(62373132);教育部“春晖计划”合作科研项目(HZKY20220257);中央引导地方科技发展基金资助项目(236Z1602G);河北省高等学校科学技术研究项目(BJ2021008);河北省引进留学人员资助项目(C20190319);河北大学"一省一校"专项基金资助项目(801260201137)。
针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题...
关键词：PETRI网 禁止状态 约束转换 整数线性规划 
部分可控Petri网的最优监控器设计被引量：1
《控制工程》2017年第5期991-997,共7页高蕾 武书彦 孙燕 周建勇 于杰 刘久富 
国家自然科学基金(61473144)
研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束...
关键词：部分可控Petri网 监控器 不可控变迁 广义互斥约束 
针对α网的最优线性约束转换方法
《西安电子科技大学学报》2015年第5期183-187,212,共6页张丽 赵良煦 王寿光 汪成英 
浙江省杰出青年基金资助项目(LY15F030003;R14F020001);国家自然科学基金资助项目(61472361);浙江省科技计划资助项目(2015C31064);浙江省新型网络标准与应用技术重点实验室资助项目(2013E10012)
针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式...
关键词：PETRI网 离散事件系统 禁止状态 不可控变迁 
含有不可控变迁的Petri网死锁避免策略
《合肥工业大学学报（自然科学版）》2012年第4期472-475,535,共5页吴国凤 胡德启 安磊 郑礼良 
国家自然科学基金-广东联合基金重点资助项目(U1135003)
文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到...
关键词：PETRI网 控制器 混合约束 死锁 
含有不可控变迁的混合约束Petri网控制器设计
《系统仿真学报》2008年第S2期148-151,共4页朱金旺 陆阳 程运安 
教育部新世纪优秀人才支持计划(NCET-04-0562);高等学校博士学科点专项科研基金(20050359004)
针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,研究受控对象中存在不可控变迁情况下实现Petri网反馈控制器的方法。提出了一种新的约束转换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为...
关键词：PETRI网 离散事件系统 监控 混合约束 不可控变迁 
含不可控变迁的Petri网监控器设计被引量：3
《控制与决策》2008年第5期492-496,502,共6页张瑶瑶 吴敏 颜钢锋 刘妹琴 
国家自然科学基金项目(60504024);浙江省教育厅科研项目(20050905)
在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断...
关键词：离散事件系统 PETRI网 不可控变迁 Parikh矢量 广义逆矩阵 
具有不可控变迁的离散事件系统Petri网控制器的研究被引量：1
《计算机集成制造系统》2008年第4期773-777,784,共6页陶泽 肖田元 刘晓霞 
科技部中小企业创新基金资助项目(05C2621400246)~~
针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题,分析了系统中存在不可控变迁时的情况,并基于局部设计和Petri网简化技术,提出了一种新的控制器设计方法。该方法首先将约束条件分为允许约束和非法约束,并通过矩阵转换方...
关键词：PETRI网 控制器 结构冲突 允许约束 不可控变迁 
带有不可控变迁的一般不等式约束的Petri网控制器综合被引量：1
《上海交通大学学报》2007年第9期1551-1555,共5页王寿光 许振伟 
国家自然科学基金(60503027);浙江省自然科学基金(Y106669);浙江省教育厅项目资助(20061082)
针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不...
关键词：PETRI网 离散事件系统 监控 线性不等式约束 Parikh向量 
含有不可控变迁的Parikh约束的Petri网控制器综合
《浙江大学学报（工学版）》2006年第7期1123-1126,共4页张瑶瑶 颜钢锋 张森林 刘妹琴 
国家自然科学基金资助项目(60504024);浙江省教育厅科研资助项目(20050905);浙江省"151人才工程"培养基金资助项目
针对基于Petri网建模的离散事件系统关于Parikh向量的不等式约束反馈控制器设计问题,对Parikh向量的不等式约束条件中存在不可控变迁的情况进行分析.将约束条件分为可控部分与不可控部分,即允许约束和禁止约束,并通过矩阵变换方法对含...
关键词：PETRI网 离散事件系统 监控 Parikh向量 不可控变迁 
具有不可控变迁离散事件系统的Petri网控制器被引量：6
《自动化学报》2001年第2期180-185,共6页邢科义 席裕庚 胡保生 
国家自然科学基金;西安交通大学机械制造系统工程国家重点实验室基金资助项目
考虑可用具有不可控变迁的受控 Petri网建模的离散事件动态系统 .提出了在这类系统中实现一组不等式约束的控制器的综合方法 .所提出的控制器可通过给系统 Petri网模型增加一些 Petri网元素来实现 ,其计算是建立在本文提出的 Petri网的...
关键词：离散事件系统 PETRI网 路增益 控制器 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部