Supervisor Reduction by Hiding Events

This paper proposes a method to improve supervisor reduction for discrete event systems by first reducing the number of events. Supervisor reduction is a method to reduce the number of states of an automatically computed supervisor or controller in order to make it more manageable. This paper proposes to complement the most popular supervisor reduction algorithm currently in use by first reducing the supervisor's event set. Experimental results show that this does not only reduce the communication between the supervisor and plant, but also produces a simpler state machine that can be minimised more effectively.