Control synthesis of switched systems (2017)