Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis.