A New Method of Supervisor Synthesis for Discrete Event Systems

A Mealy-type automaton corrasponding to a controlled discrete event system is obtained by specifying for each discrete event in the system a control value satisfying certain constraints. Then, we will get a state-value-assigned supervisor using a standard automata transformation from a Mealy machine to its Moore equivalent. After deleting all the inaccessible states of the resultant Moore machine, we will eventually achieve a suprem supervisor for the original discrete event system without any extra state.