Global Stability Analysis with Piecewise Quadratic Lyapunov Functions for Positive Discrete-Time Linear Systems Subject to Saturation in Actuators | IEEE Conference Publication | IEEE Xplore