Du, Liang (2006) Decentralized supervisory control of reactive discrete-event systems. Masters thesis, Concordia University.
- Accepted Version
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)|
|Pagination:||ix, 81 leaves : ill. ; 29 cm.|
|Degree Name:||M.A. Sc.|
|Program:||Electrical and Computer Engineering|
|Thesis Supervisor(s):||Gohari, Peyman and Ricker, S. Laurie|
|Deposited By:||Concordia University Libraries|
|Deposited On:||18 Aug 2011 18:46|
|Last Modified:||29 Nov 2011 18:38|
Repository Staff Only: item control page