Lyapunov functions under LaSalle conditions with an application to Lotka-Volterra systems | IEEE Conference Publication | IEEE Xplore