This paper is concerned with the elimination of unnecessary states in discrete-event system control agents. Several approaches
to supervisor reduction are studied and a new relation between agents,
comparability, is defined to encapsulate most of the concepts found in the aforementioned methods. This relation is also proven to be preserved
under
conjunction, which is commonly employed to determine the centralized representation of two decentralized DES supervisors.
Keywords Discrete-event systems - Supervisory control - Supervisor reduction - Automata
This research was supported by the Ontario Provincial Government and by the Natural Sciences and Engineering Research Council
of Canada.