Email Record: Mixed-integer representations in control design