A linear programming approach for stabilization of positive Markovian jump systems with a saturated single input. (August 2018)