Robotic airship trajectory tracking control using a backstepping methodology | IEEE Conference Publication | IEEE Xplore