Effective synthesis of optimal controllers using bisimulations. - Mireille E. Broucke; Maria D. DiBenedetto; Stefano Di Gennaro (CDC, 2002)