Text this: Set-theoretic methods in control