Computation of null controllable regions for antistable linear systems subject to input saturation: an iterative approach