A clinically plausible mathematical model is constructed to describe the patho-physiological dynamics or HIV-1 induced AIDS during HAART therapy. The model equations incorporate physiological interactions between non-infected helper T cells, HIV-1 infected helper T cells, HIV-1 virions in the blood plasma, HIV-1 specific cytotoxic T cells and drug molecules or the HAART protocol. Investigative computer simulations arc performed to elucidate some therapeutic scenarios such as viral annihilation and efficacious HAART therapy. In particular, some mathematical criteria are derived for therapeutic outcomes such as viral persistence and viral annihilation.
Nani, Frank and Jin, Mingxian, "Computer Simulation of a Mathematical Model of HAART Therapy for HIV-1 AIDS" (2011). Math and Computer Science Working Papers. Paper 19.