Stabilization of positive Markovian jump systems with input saturation: A linear programming approach | IEEE Conference Publication | IEEE Xplore