A Stochastic Switched Optimal Control Approach to Formation Mission Design for Commercial Aircraft | IEEE Journals & Magazine | IEEE Xplore