Reachable set computation of linear systems with nonconvex constraints via convex optimization. (December 2022)