[EN] This paper presents a methodology to obtain a guaranteed-reliability controller for constrained linear sys- tems, which switch between different modes according to a Markov chain (Markov jump linear systems). Inside ...