Stability and Performance of Control Systems with Actuator Saturation