Set-theoretic methods in control - Blanchini, Franco (Systems & control., 2008)