In this thesis we study two problems in hierarchical supervisory
control of discrete-event systems. The first problem is controller
reduction, which is to find smaller abstractions of hierarchical
controllers for easier understanding. The second problem is
controller design, which is to find smaller abstractions of systems
for high-level controller design. We employ natural projections to
generate abstractions, thus incorporate the two problems into one
optimization problem in which we try to minimize the size of the
observable event set of the abstractions, subject to the constraints
that the abstractions still achieve maximally permissive and
nonblocking control. An optimal solution is proposed for the
controller reduction problem, and a suboptimal solution is proposed
for the controller design problem.
| Identifer | oai:union.ndltd.org:TORONTO/oai:tspace.library.utoronto.ca:1807/43306 |
| Date | 10 December 2013 |
| Creators | Qu, Xinquan |
| Contributors | Wonham, Murray |
| Source Sets | University of Toronto |
| Language | en_ca |
| Detected Language | English |
| Type | Thesis |
Page generated in 0.0021 seconds