Set-theoretic methods in control. ([2015])