Discrete-event control of nondeterministic systems
Discrete-event control of nondeterministic systems
复制标题
DOI：
10.1109/9.654883
复制
发表时间：
1998-01-01
影响因子：
6.8
通讯作者：
Lin, F
中科院分区：
文献类型：
--
作者：
Heymann, M;Lin, F
离散事件系统中的非确定性发生在许多实际情况下，并且通常是由于事件的部分观察力，对于非确定性系统的充分描述和非确定性现象的结果，在[6]和[7]中引入了轨迹模式形式主义。这种形式主义已在[26]（也[14]和[15]）中用于获得对不确定性系统的监督控制的各种结果。在本文中，我们开发了一种受语言和轨迹模型规范的非确定离散事件系统的监督控制理论，我们进一步展示了如何在部分观察下（确定性系统）的众所周知的监督控制算法来调整符合语言和轨迹模型规格的非确定系统的主管的综合。
Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events, For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control of nondeterministic systems subject to language specifications. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications, We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications.