Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation

Michael Ibrahim 0001, Spyros A. Reveliotis, Ahmed Nazeem. Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation. IEEE Trans. Automat. Contr., 66(9):3906-3921, 2021. [doi]

Abstract

Abstract is missing.