| 共享资源系统的监控问题 |
| |
| 引用本文： | 李勇华 高为炳. 共享资源系统的监控问题[J]. 北京航空航天大学学报, 1990, 0(2): 88-96 |
| |
| 作者姓名： | 李勇华 高为炳 |
| |
| 作者单位： | 北京航空航天大学应用数理系(李勇华)，北京航空航天大学应用数理系(高为炳) |
| |
| 摘 要： | 本文研究了共享资源系统的监控器设计及相关的死锁与无穷占有问题。首先,本文指出禁止状态控制等价于一类标识控制问题。通过构造子系统的集结模型,可以避免求取整体系统模型及求取相应禁止状态的最小不可控子集。这一方法极大地降低了禁止状态控制设计的复杂性。然后,本文证明了对于禁止状态控制问题,相应子语言的死锁状态等价于新的禁止状态,并证明了相应算法的收敛性和最优性。最后,给出了某子系统无穷占有共享资源的充要条件。
|
| 关 键 词： | 共享资源系统 离散事件系统 监控 |
ON SUPERVISORY CONTROL OF RESOURCESHARING SYSTEMS |
| |
| Li Yonghua Gao Weibing. ON SUPERVISORY CONTROL OF RESOURCESHARING SYSTEMS[J]. Journal of Beijing University of Aeronautics and Astronautics, 1990, 0(2): 88-96 |
| |
| Authors: | Li Yonghua Gao Weibing |
| |
| Affiliation: | Department of Applied Maths and Physics |
| |
| Abstract: | 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. |
| |
| Keywords: | discrete event systems resource-sharing systems control theory. |
| 本文献已被 CNKI 维普 等数据库收录！ |
