<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> / Thesis / Master of Applied Science (MASc)
| Identifer | oai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/21265 |
| Date | 04 1900 |
| Creators | Dai, Pengcheng |
| Contributors | Leduc, Ryan J., Software Engineering |
| Source Sets | McMaster University |
| Language | en_US |
| Detected Language | English |
| Type | Thesis |
Page generated in 0.0017 seconds