This work is devoted to stationary optimal control problems with polygonal constraints on the components of the state. Existence of Lagrange multipliers, of different regularity, is verified for the cases with and without Slater condition holding. For the numerical realization a semi-smooth Newton method is proposed for an appropriately chosen family of regularized problems. The asymptotic behavior of the regularized problem class is studied, and numerical feasibility of the method is shown.