Text this: Extremum-seeking control for constrained optimal formation flight of commercial airliners