ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS
ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS
复制标题
DOI：
10.1016/0020-0255(88)90001-1
复制
发表时间：
1988-04-01
影响因子：
8.1
通讯作者：
WONHAM, WM
中科院分区：
文献类型：
--
作者：
LIN, F;WONHAM, WM
研究了离散事件系统的可观测性。在 Ramadge 和 Wonham 的框架中，离散事件系统 G 被建模为形式语言 L m (G) 的受控生成器。为了控制G，开发了一个监督者S，其作用是根据G的可观察事件的发生记录来启用和禁用G的可控事件，从而使最终的闭环系统遵循给定语言K中体现的一些预先指定的操作规则。找到监督者S存在的充分必要条件，使得L m (S/G)= K。基于这个条件，获得监督控制和观察问题（SCOP）的解决方案。提供了两个示例。
The observability of discrete-event systems is investigated. A discrete-event system G is modeled as the controlled generator of a formal language L m (G) in the framework of Ramadge and Wonham. To control G, a supervisor S is developed whose action is to enable and disable the controllable events of G according to a record of occurrences of the observable events of G, in such a way that the resulting closed-loop system obeys some prespecified operating rules embodied in a given language K. A necessary and sufficient condition is found for the existence of a supervisor S such that L m (S/G)= K. Based on this condition, a solution of the supervisory control and observation problem (SCOP) is obtained. Two examples are provided.