Set-Theoretic Methods in Control