Lyapunov functions for tuberculosis models with fast and slow progression

The spread of tuberculosis is studied through two models which include fast and slow progression to the infected class. For each model, Lyapunov functions are used to show that when the basic reproduction number is less than or equal to one, the disease-free equilibrium is globally asymptotically stable, and when it is greater than one there is an endemic equilibrium which is globally asymptotically stable.