We study a kinematic model that is suitable for control design for high level formation flight of UAVs. We design controllers that give robust global tracking for a wide class of reference trajectories in the sense of input-to-state stability while satisfying key amplitude and rate constraints on the inputs. We illustrate our work in simulations.