Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/21265
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Leduc, Ryan J. | - |
dc.contributor.author | Dai, Pengcheng | - |
dc.date.accessioned | 2017-03-29T19:24:50Z | - |
dc.date.available | 2017-03-29T19:24:50Z | - |
dc.date.issued | 2006-04 | - |
dc.identifier.uri | http://hdl.handle.net/11375/21265 | - |
dc.description.abstract | <p> Hierarchical Interface-based Supervisory Control (HISC) decomposes a discrete-event system (DES) into a high-level subsystem which communicates with n ≥ 1 low-level subsystems, through separate interfaces which restrict the interaction of the subsystems. It provides a set of local conditions that can be used to verify global conditions such as nonblocking and controllability. As each clause of the definition can be verified using a single subsystem, the complete system model never needs to be stored in memory, offering potentially significant savings in computational resources.</p> <p> Currently, a designer must create the supervisors for a HISC system himself, and then verify that they satisfy the HISC conditions. In this thesis, we develop a synthesis method that respects the HISC hierarchical structure. We replace the supervisor for each level by a corresponding specification DES. We then do a per level synthesis to construct for each level a maximally permissive supervisor that satisfies the corresponding HISC conditions.</p> <p> We define a set of language based fixpoint operators and show that they compute the required level-wise supremal languages. We then present algorithms that implement the fixpoint operators. We present a complexity analysis for the algorithms and show that they potentially offer significant improvement over the monolithic approach.</p> <p> A large manufacturing system example (estimated worst case state space on the order of 10^22) extended from the AIP example is discussed. A software tool for synthesis and verification of HISC systems using our approach was also developed.</p> | en_US |
dc.language.iso | en_US | en_US |
dc.subject | synthesis method, hierarchical, interface-based, supervisory control, discrete-event system, HISC, operators | en_US |
dc.title | Synthesis Method for Hierarchical Interface-Based Supervisory Control | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Software Engineering | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Master of Applied Science (MASc) | en_US |
Appears in Collections: | Digitized Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Dai_Pengcheng_2006Apr_Masters..pdf | 6.21 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.