A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems

Proceedings of the 2005 IEEE International Conference on Robotics and Automation ◽

10.1109/robot.2005.1570131 ◽

2006 ◽

Author(s):

F. Tricas ◽

F. Garcia-Valles ◽

J.M. Colom ◽

J. Ezpeleta

Keyword(s):

Resource Allocation ◽

Petri Net ◽

Deadlock Prevention ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Liveness Enforcing Supervision for Sequential Resource Allocation Systems

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_13 ◽

2002 ◽

pp. 203-212 ◽

Author(s):

Spyros A. Reveliotis

Keyword(s):

Resource Allocation ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Modeling sequential resource allocation systems using Extended Finite Automata

2011 IEEE International Conference on Automation Science and Engineering ◽

10.1109/case.2011.6042469 ◽

2011 ◽

Author(s):

Zhennan Fei ◽

Sajed Miremadi ◽

Knut Akesson

Keyword(s):

Resource Allocation ◽

Finite Automata ◽

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

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

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

Coordinating Autonomy: Sequential Resource Allocation Systems for Automation

IEEE Robotics & Automation Magazine ◽

10.1109/mra.2015.2401295 ◽

2015 ◽

Vol 22 (2) ◽

pp. 77-94 ◽

Author(s):

Spyros Reveliotis

Keyword(s):

Resource Allocation ◽

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