Control of Switching Systems by Invariance Analysis