The Magnus Effect is a real phenomenon; as far as I know there are no real-world vehicles that actually use it.

A bobbing magnus-effect ambulance hovered near one of the massive, blocky tourist hotels, where budget-conscious travelers rented tiny, slotlike units by the cubic meter. The vehicle's spherical gas bag rotated slowly around a horizontal pivot, using small momentum shifts to maneuver delicately near white-suited emergency workers.

The Magnus Effect is the generation of a sidewise force on a spinning cylindrical or spherical solid immersed in a fluid (physicists count gas and liquid here) when there is relative motion between the spinning body and the fluid. It was named after the German physicist H.G. Magnus, who first experimentally investigated the effect in 1853. This is why a ping pong ball or tennis ball will curve when hit with "English."