浙江省自然科学基金(Y104081)
- 作品数:5 被引量:12H指数:3
- 相关作者:吴维敏苏宏业褚健罗继亮袁剑蓉更多>>
- 相关机构:浙江大学华侨大学更多>>
- 发文基金:浙江省自然科学基金国家自然科学基金创新研究群体项目福建省农科院青年科技人才创新基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于Petri网的一类调度问题的分层控制器设计
- 2007年
- 利用Petri网中T不变量的思想,针对约束为T不变量的Parikh向量形式的job-shop调度问题,提出了一种分层控制器的设计算法,该算法有效地解决了这一有并发约束的控制问题。即使随着系统规模的增大,该方法计算量仍然很小,而且与经典的库所不变量方法相比较,它不受有无自回路的约束,可有效地解决一类实际制造系统中的job-shop调度问题。
- 张志明吴维敏段红霞
- 关键词:PETRI网分层控制调度
- 一类离散事件系统的监控器综合被引量:3
- 2007年
- 前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.
- 罗继亮吴维敏董利达苏宏业褚健
- 关键词:离散事件系统PETRI网
- Petri网上的禁止状态监控器综合被引量:4
- 2006年
- 给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题.最后通过一个例子说明了该方法的可行性.
- 罗继亮袁剑蓉吴维敏苏宏业王肖褚健
- 关键词:离散事件系统PETRI网禁止状态
- 一类离散事件系统的混合型控制器设计被引量:2
- 2006年
- 给出了状态机的混合型控制器的设计方法,首先设计了禁止库所的增量观测器和状态观测器,根据观测器的标识给出了允许标识和临界允许标识的判据,然后利用这两个判据给出的计算最大允许控制的算法.一个例子对本文的结论做了说明.
- 罗继亮吴维敏苏宏业褚健
- 关键词:离散事件系统PETRI网禁止状态
- 事件图的混合控制器设计被引量:7
- 2007年
- 指数级计算复杂性的可达性分析导致较大规模Petri网上的监控器设计非常困难.为了解决这一问题,本文给出了事件图上的混合型控制器设计方法:首先得到了观测器的设计方法;其次给出了根据观测器计算最大允许控制策略的算法.结果表明,该方法降低了需要观测的状态空间的维数,从而提高了计算效率,并且该方法不要求对象网是活的或有界的.
- 罗继亮吴维敏苏宏业褚健
- 关键词:离散事件系统PETRI网