Controller synthesis with highly simplified linear constraints