On Lyapunov-Metzler Inequalities and S-Procedure Characterizations for the Stabilization of Switched Linear Systems | IEEE Journals & Magazine | IEEE Xplore