DocumentCode
86971
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
Volume
59
Issue
9
fYear
2014
fDate
Sept. 2014
Firstpage
2509
Lastpage
2511
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;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/TAC.2014.2304376
Filename
6730901
Link To Document