Control Systems with Actuator Saturation