Saffar, Abdollah (2005) Task scheduling using priority-based supervisory control of DES. Masters thesis, Concordia University.
- Accepted Version
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.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering|
|Item Type:||Thesis (Masters)|
|Pagination:||x, 78 leaves : ill. ; 29 cm.|
|Degree Name:||M.A. Sc.|
|Program:||Electrical and Computer Engineering|
|Thesis Supervisor(s):||Gohari, Peyman|
|Deposited By:||Concordia University Libraries|
|Deposited On:||18 Aug 2011 18:26|
|Last Modified:||18 Aug 2011 18:26|
Repository Staff Only: item control page