Deakstadieđáhus: Control of switching systems by invariance analysis :