Back to Search
Start Over
State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems
- Source :
- IEEE Access, Vol 6, Pp 51515-51527 (2018)
- Publication Year :
- 2018
- Publisher :
- Institute of Electrical and Electronics Engineers (IEEE), 2018.
-
Abstract
- A deluge of approaches has been proposed to implement and deploy a computationally effective and maximally permissive liveness-enforcing supervisor for sequential resource allocation systems (RASs). However, they are stalled by the computational complexity of a large state space that grows exponentially with respect to the size of an underlying RAS. The attention of this work is restricted to a special class of RASs: Disjunctive/Single-unit (D/SU)-RASs. Given an initial resource configuration of a D/SU-RAS, a complete state enumeration can be obtained through pure algebraic operations on this configuration with the pre-computed initial basis state space. When an explicit and complete enumeration of reachable states is impossible (due to the limited memory and storage space), we propose the exact number of reachable states. In this case, given a state vector, its reachability can be decided by an algebraic method. Experimental studies demonstrate the efficiency of the proposed approach.
- Subjects :
- 0209 industrial biotechnology
Mathematical optimization
General Computer Science
Basis (linear algebra)
Computational complexity theory
Computer science
020208 electrical & electronic engineering
state space
General Engineering
State vector
02 engineering and technology
State (functional analysis)
Automaton
reachability analysis
020901 industrial engineering & automation
Reachability
Algebraic operation
0202 electrical engineering, electronic engineering, information engineering
State space
General Materials Science
Discrete event system
lcsh:Electrical engineering. Electronics. Nuclear engineering
Algebraic method
lcsh:TK1-9971
Subjects
Details
- ISSN :
- 21693536
- Volume :
- 6
- Database :
- OpenAIRE
- Journal :
- IEEE Access
- Accession number :
- edsair.doi.dedup.....4653206aba1fcc539663547c5986d5b7