Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891732136> ?p ?o ?g. }
- W2891732136 endingPage "51527" @default.
- W2891732136 startingPage "51515" @default.
- W2891732136 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." @default.
- W2891732136 created "2018-09-27" @default.
- W2891732136 creator A5015650914 @default.
- W2891732136 creator A5019255468 @default.
- W2891732136 creator A5047932411 @default.
- W2891732136 creator A5065425358 @default.
- W2891732136 creator A5069808600 @default.
- W2891732136 creator A5090664309 @default.
- W2891732136 date "2018-01-01" @default.
- W2891732136 modified "2023-09-26" @default.
- W2891732136 title "State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems" @default.
- W2891732136 cites W1482993605 @default.
- W2891732136 cites W1483186571 @default.
- W2891732136 cites W1641636991 @default.
- W2891732136 cites W1974412011 @default.
- W2891732136 cites W1994143452 @default.
- W2891732136 cites W2005217875 @default.
- W2891732136 cites W2022250047 @default.
- W2891732136 cites W2030224590 @default.
- W2891732136 cites W2035556324 @default.
- W2891732136 cites W2041329792 @default.
- W2891732136 cites W2059057465 @default.
- W2891732136 cites W2076665553 @default.
- W2891732136 cites W2091571939 @default.
- W2891732136 cites W2092893907 @default.
- W2891732136 cites W2108569958 @default.
- W2891732136 cites W2109692480 @default.
- W2891732136 cites W2119361484 @default.
- W2891732136 cites W2121143180 @default.
- W2891732136 cites W2135886503 @default.
- W2891732136 cites W2140872435 @default.
- W2891732136 cites W2141563078 @default.
- W2891732136 cites W2144623944 @default.
- W2891732136 cites W2284540796 @default.
- W2891732136 cites W2316519055 @default.
- W2891732136 cites W2345051373 @default.
- W2891732136 cites W2403044140 @default.
- W2891732136 cites W2413286929 @default.
- W2891732136 cites W2461900131 @default.
- W2891732136 cites W2508545064 @default.
- W2891732136 cites W2536985169 @default.
- W2891732136 cites W2538443008 @default.
- W2891732136 cites W2558815275 @default.
- W2891732136 cites W2574167712 @default.
- W2891732136 cites W2594774104 @default.
- W2891732136 cites W2604111823 @default.
- W2891732136 cites W2610860816 @default.
- W2891732136 cites W2614826960 @default.
- W2891732136 cites W2765202909 @default.
- W2891732136 cites W2766862343 @default.
- W2891732136 cites W2771143570 @default.
- W2891732136 cites W2793919767 @default.
- W2891732136 cites W2800404248 @default.
- W2891732136 cites W2810390640 @default.
- W2891732136 cites W2884404272 @default.
- W2891732136 cites W4254309944 @default.
- W2891732136 cites W97369260 @default.
- W2891732136 doi "https://doi.org/10.1109/access.2018.2867091" @default.
- W2891732136 hasPublicationYear "2018" @default.
- W2891732136 type Work @default.
- W2891732136 sameAs 2891732136 @default.
- W2891732136 citedByCount "1" @default.
- W2891732136 countsByYear W28917321362019 @default.
- W2891732136 crossrefType "journal-article" @default.
- W2891732136 hasAuthorship W2891732136A5015650914 @default.
- W2891732136 hasAuthorship W2891732136A5019255468 @default.
- W2891732136 hasAuthorship W2891732136A5047932411 @default.
- W2891732136 hasAuthorship W2891732136A5065425358 @default.
- W2891732136 hasAuthorship W2891732136A5069808600 @default.
- W2891732136 hasAuthorship W2891732136A5090664309 @default.
- W2891732136 hasBestOaLocation W28917321361 @default.
- W2891732136 hasConcept C105795698 @default.
- W2891732136 hasConcept C11413529 @default.
- W2891732136 hasConcept C118615104 @default.
- W2891732136 hasConcept C12426560 @default.
- W2891732136 hasConcept C126255220 @default.
- W2891732136 hasConcept C134306372 @default.
- W2891732136 hasConcept C136003732 @default.
- W2891732136 hasConcept C136643341 @default.
- W2891732136 hasConcept C154945302 @default.
- W2891732136 hasConcept C15569618 @default.
- W2891732136 hasConcept C156340839 @default.
- W2891732136 hasConcept C2524010 @default.
- W2891732136 hasConcept C2777212361 @default.
- W2891732136 hasConcept C29202148 @default.
- W2891732136 hasConcept C31258907 @default.
- W2891732136 hasConcept C33923547 @default.
- W2891732136 hasConcept C41008148 @default.
- W2891732136 hasConcept C48103436 @default.
- W2891732136 hasConcept C72434380 @default.
- W2891732136 hasConcept C80444323 @default.
- W2891732136 hasConcept C9376300 @default.
- W2891732136 hasConceptScore W2891732136C105795698 @default.
- W2891732136 hasConceptScore W2891732136C11413529 @default.
- W2891732136 hasConceptScore W2891732136C118615104 @default.
- W2891732136 hasConceptScore W2891732136C12426560 @default.
- W2891732136 hasConceptScore W2891732136C126255220 @default.
- W2891732136 hasConceptScore W2891732136C134306372 @default.