Command-Based Supervisory Control of Discrete Event Systems