Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach | Synapse