Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"

DOI10.1109/9.917717zbMath1136.90342OpenAlexW2007293535MaRDI QIDQ4540370

Mark A. Lawley, Jonghun Park, Placid M. Ferreira, Spyros A. Reveliotis

Publication date: 21 July 2002

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

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

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Abstract computational complexity for mathematical programming problems (90C60) Production models (90B30)

Related Items

A multistep look-ahead deadlock avoidance policy for automated manufacturing systems