Optimal Control of Discrete-time Linear Switched Systems with Dynamical Logic-based Switching | IEEE Conference Publication | IEEE Xplore