Zaslat SMS: Set-theoretic methods in control