Stabilizing switching automata for discrete-time switched linear systems. - Luiz Alfredo Cavalcante Lourenco; Fabio Dercole (ECC, 2021)