Input-output transition models for discrete-time switched nonlinear systems | IEEE Conference Publication | IEEE Xplore