共享资源系统的监控问题

ON SUPERVISORY CONTROL OF RESOURCESHARING SYSTEMS

本文研究了共享资源系统的监控器设计及相关的死锁与无穷占有问题。首先,本文指出禁止状态控制等价于一类标识控制问题。通过构造子系统的集结模型,可以避免求取整体系统模型及求取相应禁止状态的最小不可控子集。这一方法极大地降低了禁止状态控制设计的复杂性。然后,本文证明了对于禁止状态控制问题,相应子语言的死锁状态等价于新的禁止状态,并证明了相应算法的收敛性和最优性。最后,给出了某子系统无穷占有共享资源的充要条件。

Problems concerning supervisory control of resource-sharing systems are addressed.Main results include equivalence of forbidden state control and marking control,a simplified design procedure of forbidden state controller,a procedure of designing deadlock-free forbidden state controller as well as a necessary and sufficient condition for the existence of infinite overtaking of the shared resource.Examples are given to illustrate the results.