Effective Synthesis of Optimal Controllers Using Bisimulations