Stability and Stabilization of Dynamical Logic-based Discrete-time Switched Systems | IEEE Conference Publication | IEEE Xplore