Optimal Supervisory Control of Discrete Event Dynamical Systems 1 , 2