Yang, Yue (2005) Embedded supervisory control of discrete-event systems. Masters thesis, Concordia University.
Preview |
Text (application/pdf)
2MBMR14287.pdf - Accepted Version |
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 > Gina Cody School 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 |
Identification Number: | LE 3 C66E44M 2005 Y363 |
ID Code: | 8767 |
Deposited By: | Concordia University Library |
Deposited On: | 18 Aug 2011 18:34 |
Last Modified: | 13 Jul 2020 20:05 |
Related URLs: |
Repository Staff Only: item control page