排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
一类离散事件系统的一步极大允许无冗余控制* 总被引:2,自引:0,他引:2
本文考虑用一般标识图模型描述的一类离散事件系统的禁止状态问题。在文[1]基础上,分析了允许控制策略对观测和控制时延的鲁棒性;给出了一步极大允许无冗余反馈控制策略的判据和搜索方法;导出了系统在一个并发活动序列发射后仍保持极大允许性的条件,即对应的并发活动序列的特征。 相似文献
2.
3.
4.
针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束;最后,利用库所不变量方法设计控制器将转换后的约束综合到Petri网中。以某零件加工系统为例进行实验,实验结果表明,提出的方法简单高效,对实际自动制造系统的禁止状态监控问题具有一定借鉴意义。 相似文献
5.
基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析,提出一种避免资源分配系统禁止状态的方法.该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识,进而在线保证系统不到达死标识和坏标识对应的禁止状态.该方法与其他方法相比,它使系统的许可行为最大化且无需计算网系统的整个可达图,更适合比较庞大的资源分配系统。 相似文献
6.
Petri网的一类禁止状态问题的混合型监控器算法设计 总被引:2,自引:0,他引:2
针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当于变迁全部可控的问题,这有效地解决了不可控变迁带来的计算复杂性问题.最后,利用一个地铁交通调度示例验证和说明该监控器设计方法. 相似文献
7.
8.
以Petri网为模型描述某些离散事件系统,把实际系统中一些不希望出现的现象抽象为一类禁止状态,解决了这类禁止状态的避免控制问题 相似文献
9.
针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效. 相似文献
1