Matches in SemOpenAlex for { <https://semopenalex.org/work/W47442954> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W47442954 abstract "With supervisory control, it is possible to restrict the behavior of a system by disabling a subset of controllable events. Our objective is to develop a well-established formal method for preemptive and non-preemptive task scheduling based on supervisory control. We also examine how formal methods can help address issues such as priority-based scheduling. To achieve these objectives we first introduce a model for each tasks and desired requirements. To address the priority-based scheduling we define a priority relation as a specification, which assigns a priority to each task. The task and specification models are then combined separately into a campsite model. We finally obtain a supervisory control that guaranties all desires requirements are met by using the supervisory control theory." @default.
- W47442954 created "2016-06-24" @default.
- W47442954 creator A5022255806 @default.
- W47442954 date "2005-01-01" @default.
- W47442954 modified "2023-09-26" @default.
- W47442954 title "Task scheduling using priority-based supervisory control of DES" @default.
- W47442954 hasPublicationYear "2005" @default.
- W47442954 type Work @default.
- W47442954 sameAs 47442954 @default.
- W47442954 citedByCount "0" @default.
- W47442954 crossrefType "dissertation" @default.
- W47442954 hasAuthorship W47442954A5022255806 @default.
- W47442954 hasConcept C107568181 @default.
- W47442954 hasConcept C111919701 @default.
- W47442954 hasConcept C115903868 @default.
- W47442954 hasConcept C117420606 @default.
- W47442954 hasConcept C120314980 @default.
- W47442954 hasConcept C122141398 @default.
- W47442954 hasConcept C127413603 @default.
- W47442954 hasConcept C127456818 @default.
- W47442954 hasConcept C154945302 @default.
- W47442954 hasConcept C172828308 @default.
- W47442954 hasConcept C201995342 @default.
- W47442954 hasConcept C206729178 @default.
- W47442954 hasConcept C21547014 @default.
- W47442954 hasConcept C2775924081 @default.
- W47442954 hasConcept C2778693208 @default.
- W47442954 hasConcept C2780451532 @default.
- W47442954 hasConcept C41008148 @default.
- W47442954 hasConcept C63160601 @default.
- W47442954 hasConcept C68387754 @default.
- W47442954 hasConcept C75606506 @default.
- W47442954 hasConcept C76774629 @default.
- W47442954 hasConcept C92991967 @default.
- W47442954 hasConceptScore W47442954C107568181 @default.
- W47442954 hasConceptScore W47442954C111919701 @default.
- W47442954 hasConceptScore W47442954C115903868 @default.
- W47442954 hasConceptScore W47442954C117420606 @default.
- W47442954 hasConceptScore W47442954C120314980 @default.
- W47442954 hasConceptScore W47442954C122141398 @default.
- W47442954 hasConceptScore W47442954C127413603 @default.
- W47442954 hasConceptScore W47442954C127456818 @default.
- W47442954 hasConceptScore W47442954C154945302 @default.
- W47442954 hasConceptScore W47442954C172828308 @default.
- W47442954 hasConceptScore W47442954C201995342 @default.
- W47442954 hasConceptScore W47442954C206729178 @default.
- W47442954 hasConceptScore W47442954C21547014 @default.
- W47442954 hasConceptScore W47442954C2775924081 @default.
- W47442954 hasConceptScore W47442954C2778693208 @default.
- W47442954 hasConceptScore W47442954C2780451532 @default.
- W47442954 hasConceptScore W47442954C41008148 @default.
- W47442954 hasConceptScore W47442954C63160601 @default.
- W47442954 hasConceptScore W47442954C68387754 @default.
- W47442954 hasConceptScore W47442954C75606506 @default.
- W47442954 hasConceptScore W47442954C76774629 @default.
- W47442954 hasConceptScore W47442954C92991967 @default.
- W47442954 hasLocation W474429541 @default.
- W47442954 hasOpenAccess W47442954 @default.
- W47442954 hasPrimaryLocation W474429541 @default.
- W47442954 hasRelatedWork W192011580 @default.
- W47442954 hasRelatedWork W1997287409 @default.
- W47442954 hasRelatedWork W2031937410 @default.
- W47442954 hasRelatedWork W2102481517 @default.
- W47442954 hasRelatedWork W2119677158 @default.
- W47442954 hasRelatedWork W2163252718 @default.
- W47442954 hasRelatedWork W2184415004 @default.
- W47442954 hasRelatedWork W2242862243 @default.
- W47442954 hasRelatedWork W2345247012 @default.
- W47442954 hasRelatedWork W2531345652 @default.
- W47442954 hasRelatedWork W2726528314 @default.
- W47442954 hasRelatedWork W2901315401 @default.
- W47442954 hasRelatedWork W2963781757 @default.
- W47442954 hasRelatedWork W3048982203 @default.
- W47442954 hasRelatedWork W3130317758 @default.
- W47442954 hasRelatedWork W3190887399 @default.
- W47442954 hasRelatedWork W3196191147 @default.
- W47442954 hasRelatedWork W2870152434 @default.
- W47442954 hasRelatedWork W3001917065 @default.
- W47442954 hasRelatedWork W3140254668 @default.
- W47442954 isParatext "false" @default.
- W47442954 isRetracted "false" @default.
- W47442954 magId "47442954" @default.
- W47442954 workType "dissertation" @default.