Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach | IEEE Journals & Magazine | IEEE Xplore