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

作者：王肖; 董利达; 吴维敏

来源：科技通报, 2004, (04): 269-274.

DOI：10.13774/j.cnki.kjtb.2004.04.001

• 离散事件系统
• Petri网
• 监控
• 或逻辑 discrete event systems
• Petri nets
• supervisory control
• structural supervior
• OR-logics.

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

• 单位
  工业控制技术国家重点实验室; 浙江大学