Robust reach-avoid controller synthesis for switched nonlinear systems | IEEE Conference Publication | IEEE Xplore