Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems