Guaranteed Cost Certification for Discrete-Time Linear Switched Systems With a Dwell Time. - Jungers, Marc; Daafouz, Jamal (IEEE Trans. Autom. Control., 2013)