Title :
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems
Author :
Reveliotis, Spyros
Author_Institution :
Sch. of Ind. & Syst. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
Abstract :
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 :
discrete event systems; resource allocation; set theory; SU-RAS; linear separability; safe subspaces; single-unit resource allocation systems; unsafe subspaces; Automata; Discrete-event systems; Modeling; Monitoring; Resource management; System recovery; Vectors; Deadlock avoidance; discrete event systems; liveness-enforcing supervision; resource allocation systems;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2014.2304376
