Eective Synthesis of optimal controllers using bisimulations