Engine idle speed control via maximal safe set computation in the crank-angle domain