IEEE Transactions on Automatic Control, Vol.59, No.9, 2509-2511, 2014
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems
The main purpose of this correspondence is to demonstrate, through a counter-example, that, contrary to what was published recently in [1], the states belonging to the safe and unsafe subspaces of a single-unit resource allocation system (SU-RAS) might not be linearly separable. In addition, we identify a particular sub-class of SU-RAS for which the aforementioned property is guaranteed.
Keywords:Deadlock avoidance;discrete event systems;liveness-enforcing supervision;resource allocation systems