Symbolic models for nonlinear control systems: Alternating approximate bisimulations