组件多工作模式下的离散事件系统监督控制方法研究

Study on the supervisory control of discrete-event systems incorporating components with several working modes

中文关键词  离散事件系统  监督控制理论  多工作模式组件  融合监督控制器

英文关键词  discrete-event systems  supervisory control theory  components with several working modes  merged supervisor

中文摘要

      针对组件多工作模式下的离散事件系统, 提出一种监督控制方法. 利用Ramadge-Wonham监督控制架构, 计算出组件各工作模式下对应的监督控制器. 然后, 利用所提的merge算法将组件各工作模式下对应的监督控制器合并, 以生成融合监督控制器. 再利用所提的事件选择函数得到在融合监督控制器各状态允许发生的事件, 从而保证系统在融合监督控制器作用下的可控且非阻塞运行. 最后, 通过一个带反馈功能的制造系统演示本文所提方法的有效性, 该系统中的检测单元将根据工件未通过检测的次数选择工作模式. 相比于运用扩展有限状态机进行变量抽象的方法, 本文所提方法更加直观简便, 并能适应多个工件同时处于系统中时的情形.

英文摘要

      A supervisory control approach is presented for discrete-event systems incorporating components with several working modes. By utilizing the Ramadge-Wonham supervisory control framework, the corresponding supervisors in each working mode are computed. In order to generate the merged supervisor, the corresponding supervisors in each working mode are combined together by using the proposed algorithm merge. The event selection function is defined to obtain the events enabled at each state of the merged supervisor, thereby ensuring the controllable and nonblocking operation of the system under its supervision. Finally, the validity of the proposed approach is illustrated by a manufacturing system with material feedback, in which the working mode of the test unit is selected by the times of workpieces failing to pass the test. Compared with the variable abstraction approach by exploiting extended finite-state machines, the approach in this paper is more intuitive and convenient. Moreover, our approach is adapted to the case that several workpieces coexist in the system.