Guaranteed Cost Certification for Discrete-Time Linear Switched Systems With a Dwell Time

This technical note studies the guaranteed cost of a quadratic criterion associated with a linear discrete-time switched system for all the set of admissible switching laws. The admissible switching laws are here the ones exhibiting a dwell time. The approach provided here is to design an upper bound and a parametrized family of lower bounds of the guaranteed cost as close as possible in order to obtain a certification of the guaranteed cost. The upper bound is determined via a switched Lyapunov function and the lower bounds are obtained via the numerical computation of the cost induced by particular periodic switching laws. The features of the proposed approach are illustrated by a numerical example.