Quadrotor helicopters continue to grow in popularity for unmanned aerial vehicle applications. However, accurate dynamic models for deriving controllers for moderate to high speeds have been lacking. This work presents theoretical models of quadrotor aerodynamics with non-zero free-stream velocities based on helicopter momentum and blade element theory, validated with static tests and flight data. Controllers are derived using these models and implemented on the Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control (STARMAC), demonstrating significant improvements over existing methods. The design of the STARMAC platform is described, and flight results are presented demonstrating improved accuracy over commercially available quadrotors.