赵良煦
- 作品数:2 被引量:0H指数:0
- 供职机构:浙江工商大学信息与电子工程学院更多>>
- 发文基金:国家自然科学基金浙江省科技计划项目福建省教育厅科技项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于约束转换的Petri网最优监控器设计
- 2013年
- 针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组"逻辑或"的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.
- 罗继亮王飞邵辉赵良煦
- 关键词:离散事件系统PETRI网
- 针对α网的最优线性约束转换方法
- 2015年
- 针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.
- 张丽赵良煦王寿光汪成英
- 关键词:PETRI网离散事件系统禁止状态不可控变迁