.png){kind=icon}
返回
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation
.png){kind=icon}
OA
AI
DOI：10.1109/TAC.2020.3024480.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The problem of maximally permissive deadlock avoidance for sequential resource allocation systems (RAS) is a well-defined problem in the current controls literature. The corresponding supervisor is known as the maximally permissive deadlock avoidance policy (DAP), and it can be perceived as a classifier effecting the dichotomy of the underlying state space into its safe and unsafe subspaces. In the deployment of the maximally permissive DAP, an important issue is the selection of an effective and computationally efficient representation of the aforementioned dichotomy. A popular such representation is the linear classifier, where the admissibility of any given RAS state is resolved based on its ability to satisfy a given set of linear inequalities. However, linear classifiers cannot provide effective representation of the maximally permissive DAP for all RAS instantiations. Hence, this article provides a methodology for synthesizing linear DAPs for any given RAS instance that might not be maximally permissive in the original sense of this term, but observe a more relaxed notion of maximality that is defined within the particular space of the DAPs that admit a linear representation. The presented developments formally define this new DAP class, and provide the necessary algorithms for the synthesis or the systematic approximation of maximal linear DAPs for any given RAS instance.
Keyword:
Resource management
System recovery
Supervisory control
Process control
Electronic mail
Aerospace electronics
Systematics
Algebraic deadlock avoidance policies
liveness-enforcing supervision
sequential resource allocation systems
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
7
论文数:
1.3W
被引数:
6.7W
机构
引用论文
.png){kind=icon}
查看更多内容