Abstract:To make a supervisor comprehensible to a layman has been a long-lasting 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 hopefully 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, in 2004 Su and Wonham proposed to use control congruences to ensure computational viability. This work is later adopted in the supervisor localization theory, which aims for a control equivalent distributed implementation of a given centralized supervisor. But after so many publications, some fundamental questions, which should have been addressed in the first place, have not been answered yet, namely what information is critical to ensure control equivalence, what information is responsible for size reduction, and whether the partial observation really makes things different. In this paper we will address these fundamental questions by showing that there does exist a unified supervisor reduction theory, which is applicable to all feasible supervisors regardless of whether they are under full observation or partial observation. Our theory provides a partial order over all control equivalent feasible supervisors based on their enabling, disabling and marking information, which can be used to categorize the corresponding reduction rates. Based on this result we can see that, given two control equivalent feasible supervisors, the one under full observation can always result in a reduced supervisor no bigger than that induced by a supervisor under partial observation.

A new algorithm for supervisor reduction/localisation of discrete-event systems

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Supervisor Localization of Discrete-Event Systems with Infinite Behavior

On Computation of Distributed Supervisory Controllers in Discrete-Event Systems

Supervisor synthesis for a class of discrete event systems

Comments on “simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis”

Combined Controller Synthesis for a Class of Discrete Event Systems

What Information Really Matters in Supervisor Reduction?

Supervisory Control Of Boolean Discrete Event Systems

Online Supervisory Control of Networked Discrete-Event Systems with Control Delays

Representation of Supervisory Controls Using State Tree Structures, Binary Decision Diagrams, Automata, and Supervisor Reduction

Checking delay-robustness of distributed supervisors of discrete-event systems

Improved Algorithm of Quasi-Congruence in Discrete-Event System

Reliable Decentralized Supervisory Control of Fuzzy Discrete Event Systems

Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses

On scalable supervisory control of multi-agent discrete-event systems

Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses

A New Scheme for the Dynamic Control of Discrete Event Systems

Two New Optimal Models for Controlling Discrete Event Systems

Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence

A New Approach for Verification of Delay Coobservability of Discrete-Event Systems