Finite-time control of discrete-time semi-Markov jump linear systems: A self-triggered MPC approach - He, Peng; Wen, Jiwei; Stojanovic, Vladimir; Liu, Fei; Luan, Xiaoli (Journal of the Franklin Institute, 2022)