Formation control of high-altitude balloons experiencing real wind currents by discrete-time distributed extremum seeking control | IEEE Conference Publication | IEEE Xplore