A deadlock avoidance approach for non-sequential resource allocation systems

IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2002.1173439 ◽

2005 ◽

Author(s):

J. Ezpeleta ◽

L. Recalde

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2007.910701 ◽

2007 ◽

Vol 52 (12) ◽

pp. 2345-2350 ◽

Author(s):

Spyros A. Reveliotis ◽

Elzbieta Roszkowska ◽

Jin Young Choi

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2017.2722382 ◽

2017 ◽

Vol 14 (4) ◽

pp. 1695-1711 ◽

Author(s):

Spyros Reveliotis ◽

Zhennan Fei

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms

IEEE Transactions on Automatic Control ◽

10.1109/tac.2013.2266952 ◽

2013 ◽

Vol 58 (11) ◽

pp. 2772-2787 ◽

Author(s):

Roberto Cordone ◽

Ahmed Nazeem ◽

Luigi Piroddi ◽

Spyros Reveliotis

Keyword(s):

Resource Allocation ◽

Existence Results ◽

Classification Theory ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings

IEEE Transactions on Automatic Control ◽

10.1109/9.956052 ◽

2001 ◽

Vol 46 (10) ◽

pp. 1572-1583 ◽

Author(s):

Jonghun Park ◽

S.A. Reveliotis

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems ◽

Multiple Resource

Download Full-text

Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems

IEEE Transactions on Automatic Control ◽

10.1109/9.633824 ◽

1997 ◽

Vol 42 (10) ◽

pp. 1344-1357 ◽

Author(s):

S.A. Reveliotis ◽

M.A. Lawley ◽

P.M. Ferreira

Keyword(s):

Resource Allocation ◽

Polynomial Complexity ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

Engineering and Management Innovation - Facility Logistics ◽

10.1201/9781420013719.ch10 ◽

2007 ◽

Author(s):

Spyros Reveliotis

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory

2011 IEEE International Conference on Automation Science and Engineering ◽

10.1109/case.2011.6042400 ◽

2011 ◽

Author(s):

Ahmed Nazeem ◽

Spyros A. Reveliotis

Keyword(s):

Resource Allocation ◽

Classification Theory ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

Proceedings 2007 IEEE International Conference on Robotics and Automation ◽

10.1109/robot.2007.363114 ◽

2007 ◽

Author(s):

Spyros Reveliotis ◽

Elzbieta Roszkowska ◽

Jin Young Choi

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Maximal linear deadlock avoidance policies for sequential resource allocation systems: characterization, computation and approximation

IEEE Transactions on Automatic Control ◽

10.1109/tac.2020.3024480 ◽

2020 ◽

pp. 1-1

Author(s):

Michael Ibrahim ◽

Spyros Reveliotis ◽

Ahmed Nazeem

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings”

IEEE Transactions on Automatic Control ◽

10.1109/tac.2015.2426274 ◽

2016 ◽

Vol 61 (1) ◽

pp. 194-197

Author(s):

Spyros Reveliotis

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Counter Example ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems ◽

Multiple Resource

Download Full-text