Set-Theoretic Methods in Control - Blanchini, Franco (Birkhäuser Boston, 2020)