Global Stability Ensured Controller Design for Nonlinear Markov Jump Systems and Application to Aircraft Systems | IEEE Conference Publication | IEEE Xplore