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

摘要：

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

关键词：离散事件系统、Petri网、监控、或逻辑

所属期刊栏目：20

分类号：O158(代数、数论、组合理论)

资助基金：国家自然科学基金NSFC:60025308;高等学校优秀青年教师教学科研奖励计划

在线出版日期：2004-08-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：269-274