Finite-time reliable stabilization of uncertain semi-Markovian jump systems with input saturation.

•A time-varying actuator fault model is incorporated in the design of reliable controller that takes account of the effect of input saturation.•Based on the proposed controller, the problem of finite-time stability for uncertain semi-MJSs with time-varying delay is solved.•Assisted by the Lyapunov-Krasovskii stability theory and the finite-time theory, some adequate conditions that confirm the aforementioned problem are expressed in the form of linear matrix inequalities.•The correctness and feasibility of the proposed results are verified through a numerical example with simulations.