Robustly complete reach-and-stay control synthesis for switched systems via interval analysis