Breadcrumb

 
 

Embedded supervisory control of discrete-event systems

Title:

Embedded supervisory control of discrete-event systems

Yang, Yue (2005) Embedded supervisory control of discrete-event systems. Masters thesis, Concordia University.

[img]
Preview
PDF - Accepted Version
2661Kb

Abstract

In this work we propose to implement supervisory control by embedding control in the plant Finite State Machine (FSM). Supervisory control is introduced by extending the plant with boolean variables, guard formulas and updating functions. Boolean variables are used to encode the supervisor's states. Event observation is captured by a set of boolean functions that update the values of boolean variables, and control is introduced by guarding events with boolean formulas. The resulting Extended Finite State Machine (EFSM) implements the supervisory control map in the sense that the languages closed and marked by the EFSM are equal to those of the supervised system. After studying embedded supervisory control under partial observation, centralized and decentralized control architectures are analyzed. It is shown that the coobservability condition remains necessary and sufficient for the existence of decentralized supervisors. An application of our approach in the synthesis of communication protocols is presented.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Yang, Yue
Pagination:x, 89 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:8767
Deposited By:Concordia University Libraries
Deposited On:18 Aug 2011 14:34
Last Modified:18 Aug 2011 15:12
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