Mixed-Integer Representations in Control Design