Research Initiation Award: Extensions of Supervisory Control of Discrete Event Systems

为了控制离散事件系统，引入了一个监控器，该监控器启用和禁用事件，以防止不良行为，即违反安全和其他约束的事件。有人建议，在某些应用中，监管者可以通过不防止发生概率非常小的不良行为来冒险。这可以带来更好的性能。文中还提出了一种简洁而“合乎逻辑”的模型，它允许我们使用合取、析取、洗牌和顺序合成来组合受控系统。然后引入强制控制器，如果给定条件为真，则强制执行事件。最后，将分散控制和分级控制形式化。将调查权力下放的条件。如果这项研究取得成功，将增强监督控制理论在制造系统、计算机和通信系统等复杂离散事件系统中的适用性。

To control a discrete event system, a supervisor is introduced which enables and disables events in order to prevent undesirable behavior, that is, the events that violate safety and other constraints. It is proposed that, in some applications, a supervisor can take chances by not preventing undesirable behavior that has very small probability of occurring. This can lead to better performance. A concise and "logical" model is also proposed, which allows us to combine controlled systems using conjunction, disjunction, shuffle and sequential compositions. Forceful controllers are then introduced, which force an event if a given condition is true. Finally, decentralized and hierarchical control are formalized. Conditions for decentralization will be investigated. If this research is successful, it will enhance the applicability of the theory of supervisory control to complex discrete event systems such as manufacturing systems, computer and communication systems.