sequential resource allocation systems Latest Research Papers

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

Siphon-Based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems by S. Reveliotis

Deadlock Resolution in Computer-Integrated Systems ◽

10.1201/9781315214665-15 ◽

2018 ◽

pp. 305-330

Keyword(s):

Resource Allocation ◽

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 ◽

Cited By ~ 10

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

Robust deadlock avoidance for sequential resource allocation systems with resource outages

2016 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2016.7743492 ◽

2016 ◽

Cited By ~ 3

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

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

Coordinating Autonomy: Sequential Resource Allocation Systems for Automation

IEEE Robotics & Automation Magazine ◽

10.1109/mra.2015.2401295 ◽

2015 ◽

Vol 22 (2) ◽

pp. 77-94 ◽

Cited By ~ 15

Author(s):

Spyros Reveliotis

Keyword(s):

Resource Allocation ◽

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 ◽

Cited By ~ 20

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

Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights

SIAM Journal on Control and Optimization ◽

10.1137/120866427 ◽

2013 ◽

Vol 51 (2) ◽

pp. 1707-1726 ◽

Cited By ~ 7

Author(s):

Spyros Reveliotis ◽

Ahmed Nazeem

Keyword(s):

Resource Allocation ◽

Set Covering ◽

Covering Problem ◽

Set Covering Problem ◽

Linear Separation ◽

Optimal Linear ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers

2012 IEEE 51st IEEE Conference on Decision and Control (CDC) ◽

10.1109/cdc.2012.6427075 ◽

2012 ◽

Cited By ~ 7

Author(s):

Roberto Cordone ◽

Ahmed Nazeem ◽

Luigi Piroddi ◽

Spyros Reveliotis

Keyword(s):

Resource Allocation ◽

Deadlock Avoidance ◽

Linear Classifiers ◽

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 ◽

Cited By ~ 7

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

sequential resource allocation systems
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

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

Siphon-Based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems by S. Reveliotis

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages

Robust deadlock avoidance for sequential resource allocation systems with resource outages

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”

Coordinating Autonomy: Sequential Resource Allocation Systems for Automation

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

Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers

Modeling sequential resource allocation systems using Extended Finite Automata

Export Citation Format

sequential resource allocation systemsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

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

Siphon-Based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems by S. Reveliotis

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages

Robust deadlock avoidance for sequential resource allocation systems with resource outages

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”

Coordinating Autonomy: Sequential Resource Allocation Systems for Automation

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

Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers

Modeling sequential resource allocation systems using Extended Finite Automata

sequential resource allocation systems
Recently Published Documents