Closed-form controlled invariant sets for pedestrian avoidance | IEEE Conference Publication | IEEE Xplore