Item – Theses Canada

​
OCLC number
46501136
Author
Wang, Bing,1969-
Title
Top-down design for RW supervisory control theory.
Degree
M.A. Sc. -- University of Toronto, 1995
Publisher
Ottawa : National Library of Canada = Bibliothèque nationale du Canada, 1996.
Description
2 microfiches.
Notes
Includes bibliographical references.
Abstract
In seeking to adapt RW control theory to structured models, this thesis studies a new architecture for modeling discrete event systems called State Tree Structure (STS), and control design issues related to this new model. STS is a multi-level hierarchical system structure that is most suitable for the topdown design method. It's related to the Statechart idea. In this work, we emphasize the formal description for the intuitive modeling tool. Special classes of systems that can be represented by STS are discussed. Conditions are introduced for those STS systems, in order to have more manageable, easily-handled features without loss of generality. In conjunction with STS structure, an effort is made to extend the principal concepts of RW supervisory control theory for DES. Elementary discussions are presented on such issues as proper specification, STS form specification, existence of an STS specification for every DES specification which matches plant structure and is functionally equivalent to the latter. On that basis, conditions for controllability, existence and uniqueness of the controller, as well as producers to calculate controllers are given. In particular it is shown that an STS control solution is equivalent to a DES solution. Numerous examples are provided to accompany the discussion.
ISBN
0612077314
9780612077317