含不可控变迁的Petri网监控器设计

在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.

具有不可控变迁的离散事件系统Petri网控制器的研究

针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题,分析了系统中存在不可控变迁时的情况,并基于局部设计和Petri网简化技术,提出了一种新的控制器设计方法。该方法首先将约束条件分为允许约束和非法约束,并通过矩阵转换方法将非法约束转换为允许约束,然后通过约束矩阵设计出相应的控制器。该方法由于只考虑与约束库所、约束变迁及不可控变迁相关联的局部关联矩阵,降低了矩阵的维数,简化了控制器的设计,避免了死锁。最后,基于两个实例验证了该方法的高效性。

含有不可控变迁的Parikh约束的Petri网控制器综合

针对基于Petri网建模的离散事件系统关于Parikh向量的不等式约束反馈控制器设计问题,对Parikh向量的不等式约束条件中存在不可控变迁的情况进行分析.将约束条件分为可控部分与不可控部分,即允许约束和禁止约束,并通过矩阵变换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为允许约束,从而设计出相应的控制器.实例表明,该方法结构清晰,计算简单,用于混合约束条件中,能大大减少计算量,在复杂Petri网模型中效果更为明显.

利用不变量综合具有不可控变迁DES的Petri网控制器

基于Petri网模型 ,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题 .给出了一类Petri网位置不变量存在的必要和充分条件 .基于路增益的概念 ,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的控制器 .

含有不可控变迁的混合约束Petri网控制器设计

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,研究受控对象中存在不可控变迁情况下实现Petri网反馈控制器的方法。提出了一种新的约束转换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为允许约束。然后结合局部设计和Petri网简化技术改进与完善控制器的设计方法。实例表明,该方法结构清晰,计算简单,用于混合约束条件中,能大大减少计算量,在复杂Petri网模型中效果更为明显。

部分可控Petri网的最优监控器设计

研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和有界非法标识集,对分离出的标识建立混合整数线性规划模型,运用分支边界法得到最大允许度且最少数量的广义互斥约束集作为最优监控器。以含不可控变迁的码垛机器人零件加工系统为例,建立了部分可控Petri网模型,结合零件加工过程中机器人的占用和释放环节,对应用Petri网在机器加工系统的最优设计进行了研究,应用监控器生成算法设计的监控器拥有更严格的约束和更简化的模型,验证了该算法的有效性。

基于Petri网结构分析的监控器综合

在基于Petri网建模的离散事件系统中,提出利用局部关联信息进行约束转换,并实现Petri网结构监控器综合的方法.对以Parikh矢量约束形式给出的控制规范,不可控不可观变迁会导致约束成为非法约束,分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构,利用局部关联变迁实现对不可控和不可观变迁的间接控制,从而将非法矢量约束转换为合法约束,并保证初始控制规范的实现.与基于矩阵的监控器综合方法相比,本文的方法只需利用局部信息,最后通过实例对该方法进行了说明.

针对α网的最优线性约束转换方法

针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.