Closest Feasible Points Invariance: A System Property to Characterize Systems with Actuator Saturation | IEEE Conference Publication | IEEE Xplore