Stabilization of discrete-time switched systems with constraints by dynamic logic-based switching feedback | Litlas