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