lyapunov development