Liveness enforcing supervision for sequential resource allocation systems - State of the art and open issues

Liveness-enforcing supervision of sequential resource allocation systems is currently a well-defined problem, underlying the operation of many contemporary technological systems, spanning a wide spectrum of applications. This technical note provides a brief overview of the currently available results, delineating, both, our major analytical understandings/characterizations concerning the problem concepts/structure and its complexity, and also, our ability to synthesize effective and computationally tractable solutions to it. The last part of the document identifies open / unaddressed research issues, the resolution of which will extent the power of the current theory and will allow the integration of the developed results in the broader control frameworks managing the behavior of these environments.