multiple parameter-dependent Lyapunov functions