Stability analysis and control synthesis for linear systems with non-symmetrical input saturation