Optimal Control Using Bisimulations: Implementation