Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach | IEEE Journals & Magazine | IEEE Xplore