Deadlock avoidance policies for resource allocation systems with applications to FMS

被引：0
|
作者：
Ferreira, PM
Lawley, MA
Reveliotis, SA
机构：
来源：
ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The problem of deadlock avoidance for a class of Resource Allocation Systems (RAS) called the Single-Unit RAS (SU-RAS) is discussed with particular application to buffer space allocation in a Flexible Manufacturing System. For a class of SU-RAS, it is shown that the problem of obtaining the maximally permissive deadlock avoidance policy is of polynomial complexity. Sub-optimal policies (which are not maximally permissive) for SU-RAS are also discussed.
引用
收藏
页码：42 / 48
页数：7
相关论文
共 50 条
  • [1] Generalized algebraic deadlock avoidance policies for sequential resource allocation systems
    Reveliotis, Spyros A.
    Roszkowska, Elzbieta
    Choi, Jin Young
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (12) : 2345 - 2350
  • [2] Maximal linear deadlock avoidance policies for complex resource allocation systems
    Ibrahim, Michael
    Reveliotis, Spyros
    [J]. 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 3968 - 3974
  • [3] Algebraic deadlock avoidance policies for conjunctive/disjunctive resource allocation systems
    Park, JH
    Reveliotis, SA
    [J]. 2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 70 - 76
  • [4] Generalized algebraic deadlock avoidance policies for sequential resource allocation systems
    Reveliotis, Spyros
    Roszkowska, Elzbieta
    Choi, Jin Young
    [J]. PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-10, 2007, : 991 - 996
  • [5] Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
    Reveliotis, SA
    Lawley, MA
    Ferreira, PM
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1997, 42 (10) : 1344 - 1357
  • [6] Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
    Park, JH
    Reveliotis, SA
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2000, 16 (02): : 190 - 195
  • [7] A deadlock avoidance approach for nonsequential resource allocation systems
    Ezpeleta, J
    Recalde, L
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01): : 93 - 101
  • [8] Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation
    Ibrahim, Michael
    Reveliotis, Spyros
    Nazeem, Ahmed
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (09) : 3906 - 3921
  • [9] Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages
    Reveliotis, Spyros
    Fei, Zhennan
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2017, 14 (04) : 1695 - 1711
  • [10] Symbolic Computation and Representation of Deadlock Avoidance Policies for Complex Resource Allocation Systems with Application to Multithreaded Software
    Fei, Zhennan
    Akesson, Knut
    Reveliotis, Spyros
    [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 5935 - 5942
12345