实现"或逻辑"线性约束的结构型控制器设计方法综述     

王肖  董利达  吴维敏 《科技通报》2004,20(4):269-274

基于受控Petri网的离散事件监控器按实现形式可分为逻辑型控制器和结构型控制器．由于结构型控制器具有控制动作的计算速度快，被控对象和监控器的描述形式统一等优点，而受到很多研究人员的青睐．然而，由于“或逻辑”线性约束条件的非凸状态空间的本质，用结构型控制器实现该线性约束条件将比较困难．在本文中，作者首先回顾了这一问题的起源及其意义，接着详细讨论了当前用结构型控制器实现该类状态规范的主流方法及它们各自存在的优缺点，并就某些方法提出了改进措施．最后，作者对今后的研究方向进行了预测和展望．  相似文献   

一种基于有色Petri网的DES的控制方法     

王凯  吴维敏  苏宏业  褚健 《科技通报》2005,21(2):180-184

通过有色Petri网来实现具有或逻辑形式约束条件的Petri网控制器是非常有效的,但以往的文献通常假设Petri网中的变迁是不能并发的。本文提出的利用有色Petri网控制离散事件系统(DES)的方法,不但实现了或逻辑形式的约束,而且允许Petri网中的所有变迁都可以并发。  相似文献