离散事件系统非阻塞模块监控器设计

为解决离散事件系统模块监控中的阻塞问题，提出了一种新的监控器设计思想，在监控器之间建立通信的基础上，运用传统的模块监控器设计方法，基于估计状态独立设计各个监控器，在各监控器间的协调中，利用基于优先权函数模块控制（MCP）机制，使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的，利用这种方法的监控器非阻塞的充分条件是系统每个事件有一个监控器能观，最后给出一个应用实例，说明设计思想的有效性。

Design of nonblocking modular supervisors of discrete event systems

In order to solve modular supervisor blocking problem of discrete event systems, a new idea of framing supervisors is proposed.After creating communication between supervisors, the supervisors can be designed individually based on estimated states using conventional design method. A priority mechanism based on priority functions is used in the coordination of individual supervisors. The method makes the closed loop system's dynamic behavior meet the desired specifications and mitigate or eliminate blocking.The sufficient condition of nonblocking is that each event of the system can be observed by one supervisor. An example is given to show the effectiveness of this method.