Autonomous helicopter aerial refueling: controller design and performance guarantees | IEEE Conference Publication | IEEE Xplore