Symbolic models for unstable nonlinear control systems