Automated driving: Safe motion planning using positively invariant sets | IEEE Conference Publication | IEEE Xplore