Did you know that Massera's lemma , a result in stability theory and nonlinear control , can be used to construct common Lyapunov functions for switched systems?