Design of a Formation Control System to Assist Human Operators in Flying a Swarm of Robotic Blimps | IEEE Conference Publication | IEEE Xplore