An interval analysis approach to invariance control synthesis for discrete-time switched systems.