Mixed-Integer Representations in Control Design | lit.salon