Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust. - Gregory Stock 002; Juan A. Fraire; Tobias Mömke; Holger Hermanns; Fakhri Babayev; Eduardo Cruz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)