Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation
From MaRDI portal
Publication:4957686
DOI10.1109/TAC.2020.3024480zbMath1471.93175MaRDI 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
sequential resource allocation systems; algebraic deadlock avoidance policies; liveness-enforcing supervision
93C65: Discrete event control/observation systems
93-08: Computational methods for problems pertaining to systems and control theory