Stability and Lyapunov functions for the dynamics of Leptospirosis | IEEE Conference Publication | IEEE Xplore