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

DOI10.1109/TAC.2020.3024480zbMath1471.93175OpenAlexW3197552274MaRDI QIDQ4957686

Michael Nawar Ibrahim, Ahmed Nazeem, Spyros A. Reveliotis

Publication date: 9 September 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2020.3024480

zbMATH Keywords

sequential resource allocation systemsalgebraic deadlock avoidance policiesliveness-enforcing supervision

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Computational methods for problems pertaining to systems and control theory (93-08)

This page was built for publication: Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation