Deakstadieđáhus: Set-theoretic methods in control