Login | Register

Task scheduling using priority-based supervisory control of DES


Task scheduling using priority-based supervisory control of DES

Saffar, Abdollah (2005) Task scheduling using priority-based supervisory control of DES. Masters thesis, Concordia University.

Text (application/pdf)
MQ94709.pdf - 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 > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Saffar, Abdollah
Pagination:x, 78 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):Gohari, Peyman
ID Code:8476
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:26
Last Modified:18 Jan 2018 17:33
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top