Control synthesis of switched systems. ([2017])