Effective synthesis of optimal controllers using bisimulations | IEEE Conference Publication | IEEE Xplore