Construction of piecewise Lyapunov functions for stabilizing switched systems | Synapse