Computing maximal invariant sets for switched nonlinear systems | IEEE Conference Publication | IEEE Xplore