Control synthesis of switched systems - Zhao, Xudong (Springer, 2017)