Backstepping control design for UAV formation with input saturation constraint and model uncertainty | IEEE Conference Publication | IEEE Xplore