Symbolic control design of nonlinear systems with outputs