Describir: Set-theoretic methods in control /