...
首页> 外文期刊>IEEE Transactions on Automatic Control >Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
【24h】

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

机译:顺序资源分配系统的广义代数死锁避免策略

获取原文
获取原文并翻译 | 示例
           

摘要

Currently, one of the most actively researched approaches regarding the design of deadlock avoidance policies for sequential resource allocation systems is based on concepts and techniques provided by the, so called, theory of regions, that addresses the broader problem of synthesizing PN models with prespecified behaviors. However, one limitation of the theory of regions and its aforementioned derivatives is that they cannot be applied when the target behavior has a nonconvex representation in the underlying state space. In this note, we show how this problem can be circumvented by appropriately generalizing the employed class of the candidate policies.
机译:当前,关于顺序资源分配系统的死锁避免策略设计的最积极研究的方法之一是基于所谓的区域理论所提供的概念和技术,该概念和技术解决了将具有预定行为的PN模型进行综合的广泛问题。 。但是,区域及其派生理论的局限性在于,当目标行为在基础状态空间中具有非凸表示时,就不能应用它们。在本说明中,我们显示了如何通过适当地概括候选策略的使用类别来解决此问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号