Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
复制标题
通过优先级同步对非确定性系统进行无阻塞监督控制
DOI：
--
复制
发表时间：
1996
影响因子：
6.8
通讯作者：
M. Shayman
中科院分区：
文献类型：
--
作者：
Ratnesh Kumar;M. Shayman
Shayman and Kumar（1995）表明，在存在驱动事件的情况下，对非确定性离散事件系统的监督控制可以使用优先的同步组合作为控制机制，而轨迹模型作为模型形式主义，首先是由Heymann引入的（Heymann（Heymann）（首次） 1990）。这项早期工作中考虑的规格由前缀封闭的语言给出。在本文中，我们将这项工作扩展到包括标记，以便可以解决未盖的规格和问题。结果表明，在非确定系统的设置中，非封锁的通常概念称为语言模型非封锁，并且引入了更强的概念，称为轨迹模型非块。在存在驱动的事件的情况下，在扩展的可控性和相对关闭条件方面，在存在驱动的事件的情况下，获得了非确定系统的非封锁主管的语言模型以及轨迹模型的必要条件，以及一种称为轨迹闭合条件的新条件。
Shayman and Kumar (1995) showed that supervisory control of nondeterministic discrete-event systems, in the presence of driven events, can be achieved using prioritized synchronous composition as a mechanism of control, and trajectory models as a modeling formalism, first introduced by Heymann (1990). The specifications considered in this earlier work were given by prefix-closed languages. In this paper, we extend this work to include markings so that nonclosed specifications and issues such as blocking can be addressed. It is shown that the usual notion of nonblocking, called language model nonblocking, may not be adequate in the setting of nondeterministic systems, and a stronger notion, called trajectory model nonblocking, is introduced. Necessary and sufficient conditions for the existence of language model nonblocking as well as trajectory model nonblocking supervisors are obtained for nondeterministic systems in the presence of driven events in terms of extended controllability and relative-closure conditions and a new condition called the trajectory-closure condition.