On symbolic optimal control via approximate simulation relations. - Froukje de Roo; Manuel Mazo Jr. 002 (CDC, 2013)