Robust deadlock avoidance for sequential resource allocation systems with resource outages

While the problem of deadlock avoidance for sequential resource allocation systems (RAS) has been extensively studied in the literature, the current results that are able to address potential resource outages are pretty limited. In this work, we seek to extend the corresponding theory by leveraging and strengthening some recently developed results on the emergent theory of switched Discrete Event Systems.