Redirecting to Positive invariant set