Login | Register

Synthesis of communicating decentralized supervisors for discrete-event systems with application to communication protocol synthesis

Title:

Synthesis of communicating decentralized supervisors for discrete-event systems with application to communication protocol synthesis

Mannani, Amin (2009) Synthesis of communicating decentralized supervisors for discrete-event systems with application to communication protocol synthesis. PhD thesis, Concordia University.

[img]
Preview
Text (application/pdf)
NR63347.pdf - Accepted Version
4MB

Abstract

A Discrete-Event Systems (DES) may be viewed as a dynamic system with a discrete state space and a discrete state-transition structure with an event-driven nature, which makes it different from the systems described by differential or difference equations. Given the desired behavior of a DES as a specification, decentralized supervisory control theory seeks to design for a (distributed) DES, consisting of a number of (geographically distant) sites, a set of supervisors, one for each site, such that the behavior of the DES always remains within the specification. If the specification is not coobservable, these supervisors need to communicate amongst each other. This thesis proposes a mathematical framework to formally model and synthesize such communicating decentralized supervisors. The framework provides a decentralized representation of the DES's centralized supervisor and captures its observational and control-related information as mappings, which are called updating and guard functions, respectively. This leads to a polynomial dynamical system, which serves to model the required communication and synthesize its rules. The systematic synthesis, obtained through this approach, characterizes the class of distributed control problems which are solvable only with communication, comes up with a finer partition of it, and addresses practical issues. The thesis ends with the application of the theoretical results to the modeling and synthesis of a communication protocol

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (PhD)
Authors:Mannani, Amin
Pagination:xxiv, 339 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Ph. D.
Program:Electrical and Computer Engineering
Date:2009
Thesis Supervisor(s):Gohari, P and Zad, Hashtrudi
ID Code:976551
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:28
Last Modified:18 Jan 2018 17:42
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

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top