inverse lyapunov procedure