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]

@article{IbrahimRN21,
  title = {Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation},
  author = {Michael Ibrahim 0001 and Spyros A. Reveliotis and Ahmed Nazeem},
  year = {2021},
  doi = {10.1109/TAC.2020.3024480},
  url = {https://doi.org/10.1109/TAC.2020.3024480},
  researchr = {https://researchr.org/publication/IbrahimRN21},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Automat. Contr.},
  volume = {66},
  number = {9},
  pages = {3906-3921},
}