Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/138016
Title: A generalized theory on supervisor reduction
Authors: Su, Rong
Wonham, Walter Murray
Keywords: Engineering::Electrical and electronic engineering
Issue Date: 2019
Source: Su, R., & Wonham, W. M. (2018). A generalized theory on supervisor reduction. Proceedings of 2018 IEEE Conference on Decision and Control (CDC), 3950-3955. doi:10.1109/CDC.2018.8619444
Abstract: To make a supervisor comprehensible to a designer has been a long-standing goal in the supervisory control community. One strategy is to reduce the size of a supervisor to generate a control equivalent version, whose size is optimistically much smaller than the original one so that a user or control designer can easily check whether a designed controller fulfils its objectives and requirements. After the first journal paper on this topic appeared in 1986 by Vaz and Wonham, which relied on the concept of control covers, Su and Wonham proposed in 2004 to use control congruences to ensure computational viability. This work was later adopted in supervisor localization theory, which aims for a control equivalent distributed implementation of a given centralized supervisor. Despite these publications some fundamental questions, which might have been addressed in the first place, have not yet been answered, namely what information is critical to ensure control equivalence, what information is responsible for size reduction, and whether partial observation makes the problem essentially different. In this paper we address these questions by showing that there exists a unified reduction theory, which is applicable to all feasible supervisors regardless of whether they are under full observation or partial observation. Our theory proposes a preorder (called leanness) over all control equivalent feasible supervisors based on their enabling, disabling and marking information such that, if a supervisor S1 is leaner than another supervisor S2, then the size of the minimal control cover defined over the state set of S1 is no bigger than that of S2.
URI: https://hdl.handle.net/10356/138016
ISBN: 9781538613962
Rights: © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. The published version is available at: https://doi.org/10.1109/CDC.2018.8619444
Fulltext Permission: open
Fulltext Availability: With Fulltext
Appears in Collections:EEE Conference Papers

Files in This Item:
File Description SizeFormat 
CDC2018-SR.pdf2.45 MBAdobe PDFView/Open

Page view(s)

21
checked on Oct 21, 2020

Download(s)

6
checked on Oct 21, 2020

Google ScholarTM

Check

Altmetric


Plumx

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.