Breadcrumb

 
 

Decentralized supervisory control of reactive discrete-event systems

Title:

Decentralized supervisory control of reactive discrete-event systems

Du, Liang (2006) Decentralized supervisory control of reactive discrete-event systems. Masters thesis, Concordia University.

[img]
Preview
PDF - Accepted Version
2483Kb

Abstract

In this thesis we propose to apply Ramadge-Wonham supervisory control theory to Reactive Discrete-Event Systems (RDES). A reactive system continually interacts with its environment at the speed dictated by the latter. We will first present our decentralized RDES architecture, which is based on Input/Output (I/O) automata model. After introducing safety and progress, we define the corresponding centralized and decentralized supervisory control problems concerning both safety and progress. We explain through examples why the existing results in supervisory control theory cannot be directly applied. Substitute sufficient and necessary conditions for the existence of decentralized solutions are given. In the special case where only safety is considered, we also study centralized and decentralized supervisory control problems, and present more straightforward sufficient and necessary conditions for the existence of their solutions. An example is presented to illustrate how decentralized RDES are modeled, how decentralized components co-operate with each other, and how the revised decentralized supervisory control theory can be applied to the study of RDES.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Du, Liang
Pagination:ix, 81 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Date:2006
Thesis Supervisor(s):Gohari, Peyman and Ricker, S. Laurie
ID Code:9213
Deposited By:Concordia University Libraries
Deposited On:18 Aug 2011 14:46
Last Modified:29 Nov 2011 13:38
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