Breadcrumb

 
 

Task scheduling using priority-based supervisory control of DES

Title:

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.

[img]
Preview
PDF - Accepted Version
2389Kb

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.

Divisions:Concordia University > Faculty 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
Date:2005
Thesis Supervisor(s):Gohari, Peyman
ID Code:8476
Deposited By:Concordia University Libraries
Deposited On:18 Aug 2011 14:26
Last Modified:18 Aug 2011 14:26
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

Document Downloads

More statistics for this item...

Concordia University - Footer