related documents Robust Controller Synthesis of Switched Systems Using Counterexample Guided Framework Conference Proceeding