Parameter Identifiability and Estimation of HIV/AIDS Dynamic Models

Abstract We use a technique from engineering (Xia and Moog, in IEEE Trans. Autom. Contr. 48(2):330–336, 2003; Jeffrey and Xia, in Tan, W.Y., Wu, H. (Eds.), Deterministic and Stochastic Models of AIDS Epidemics and HIV Infections with Intervention, 2005) to investigate the algebraic identifiability of a popular three-dimensional HIV/AIDS dynamic model containing six unknown parameters. We find that not all six parameters in the model can be identified if only the viral load is measured, instead only four parameters and the product of two parameters (N and λ) are identifiable. We introduce the concepts of an identification function and an identification equation and propose the multiple time point (MTP) method to form the identification function which is an alternative to the previously developed higher-order derivative (HOD) method (Xia and Moog, in IEEE Trans. Autom. Contr. 48(2):330–336, 2003; Jeffrey and Xia, in Tan, W.Y., Wu, H. (Eds.), Deterministic and Stochastic Models of AIDS Epidemics and HIV Infections with Intervention, 2005). We show that the newly proposed MTP method has advantages over the HOD method in the practical implementation. We also discuss the effect of the initial values of state variables on the identifiability of unknown parameters. We conclude that the initial values of output (observable) variables are part of the data that can be used to estimate the unknown parameters, but the identifiability of unknown parameters is not affected by these initial values if the exact initial values are measured with error. These noisy initial values only increase the estimation error of the unknown parameters. However, having the initial values of the latent (unobservable) state variables exactly known may help to identify more parameters. In order to validate the identifiability results, simulation studies are performed to estimate the unknown parameters and initial values from simulated noisy data. We also apply the proposed methods to a clinical data set to estimate HIV dynamic parameters. Although we have developed the identifiability methods based on an HIV dynamic model, the proposed methodologies are generally applicable to any ordinary differential equation systems.

[1]  Xiaohua Xia,et al.  Identifiability of nonlinear systems with application to HIV/AIDS models , 2003, IEEE Trans. Autom. Control..

[2]  Lennart Ljung,et al.  On global identifiability for arbitrary model parametrizations , 1994, Autom..

[3]  Rainer Storn,et al.  Differential Evolution – A Simple and Efficient Heuristic for global Optimization over Continuous Spaces , 1997, J. Glob. Optim..

[4]  T. Tarn,et al.  New results for identifiability of nonlinear systems , 1987 .

[5]  X. Xia ESTIMATION OF HIV/AIDS PARAMETERS , 2002 .

[6]  Xiaohua Xia,et al.  IDENTIFIABILITY OF HIV/AIDS MODELS , 2005 .

[7]  Alan S. Perelson,et al.  Decay characteristics of HIV-1-infected compartments during combination therapy , 1997, Nature.

[8]  A. Perelson,et al.  Rapid turnover of plasma virions and CD4 lymphocytes in HIV-1 infection , 1995, Nature.

[9]  A. Perelson,et al.  HIV-1 Dynamics in Vivo: Virion Clearance Rate, Infected Cell Life-Span, and Viral Generation Time , 1996, Science.

[10]  Hulin Wu,et al.  Hierarchical Bayesian Methods for Estimation of Parameters in a Longitudinal HIV Dynamic System , 2006, Biometrics.

[11]  Hulin Wu,et al.  A Bayesian approach for estimating antiviral efficacy in HIV dynamic models , 2006 .

[12]  Hulin Wu,et al.  Deterministic And Stochastic Models Of Aids Epidemics And Hiv Infections With Intervention , 2005 .

[13]  C. Benson,et al.  Viral Dynamics in Human Immunodeficiency Virus Type 1 Infection , 1995 .

[14]  Kwami Adanu,et al.  Optimizing the Garch Model–An Application of Two Global and Two Local Search Methods , 2006 .

[15]  M. Lederman,et al.  Characterization of viral dynamics in human immunodeficiency virus type 1-infected patients treated with combination antiretroviral therapy: relationships to host factors, cellular restoration, and virologic end points. , 1999, The Journal of infectious diseases.

[16]  M. Fliess,et al.  Nonlinear observability, identifiability, and persistent trajectories , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[17]  H Wu,et al.  Population HIV‐1 Dynamics In Vivo: Applicable Models and Inferential Tools for Virological Data from AIDS Clinical Trials , 1999, Biometrics.

[18]  S. Glad Solvability of differential algebraic equations and inequalities: An algorithm , 1997, 1997 European Control Conference (ECC).

[19]  A S Perelson,et al.  Modeling plasma virus concentration during primary HIV infection. , 2000, Journal of theoretical biology.

[20]  M. Nowak,et al.  Virus dynamics: Mathematical principles of immunology and virology , 2001 .

[21]  C. Moog,et al.  Nonlinear Control Systems: An Algebraic Setting , 1999 .

[22]  Hulin Wu,et al.  Modeling HIV dynamics and antiviral response with consideration of time-varying drug exposures, adherence and phenotypic sensitivity. , 2003, Mathematical biosciences.

[23]  Alan S. Perelson,et al.  Mathematical Analysis of HIV-1 Dynamics in Vivo , 1999, SIAM Rev..