Modeling and estimation of kinetic parameters and replicative fitness of HIV-1 from flow-cytometry-based growth competition experiments

Structural and Practical Identifiability of Phenomenological Growth Models for Epidemic Forecasting

Phenomenological models are highly effective tools for forecasting disease dynamics using real-world data, particularly in scenarios where detailed knowledge of disease mechanisms is limited. However, their reliability depends on the model parameters' structural and practical identifiability. In this study, we systematically analyze the identifiability of six commonly used growth models in epidemiology: the generalized growth model (GGM), the generalized logistic model (GLM), the Richards model, the generalized Richards model (GRM), the Gompertz model, and a modified SEIR model with inhomogeneous mixing. To address challenges posed by non-integer power exponents in these models, we reformulate them by introducing additional state variables. This enables rigorous structural identifiability analysis using the StructuralIdentifiability.jl package in JULIA. We validated the structural identifiability results by performing parameter estimation and forecasting using the GrowthPredict MATLAB Toolbox. This toolbox is designed to fit and forecast time series trajectories based on phenomenological growth models. We applied it to three epidemiological datasets: weekly incidence data for monkeypox, COVID-19, and Ebola. Additionally, we assessed practical identifiability through Monte Carlo simulations to evaluate parameter estimation robustness under varying levels of observational noise. Our results confirm that all six models are structurally identifiable under the proposed reformulation. Furthermore, practical identifiability analyses demonstrate that parameter estimates remain robust across different noise levels, though sensitivity varies by model and dataset. These findings provide critical insights into the strengths and limitations of phenomenological models to characterize epidemic trajectories, emphasizing their adaptability to real-world challenges and their role in informing public health interventions.

Structural and Practical Identifiability of Phenomenological Growth Models for Epidemic Forecasting

Phenomenological models are highly effective tools for forecasting disease dynamics using real-world data, particularly in scenarios where detailed knowledge of disease mechanisms is limited. However, their reliability depends on the model parameters' structural and practical identifiability. In this study, we systematically analyze the identifiability of six commonly used growth models in epidemiology: the generalized growth model (GGM), the generalized logistic model (GLM), the Richards model, the generalized Richards model (GRM), the Gompertz model, and a modified SEIR model with inhomogeneous mixing. To address challenges posed by non-integer power exponents in these models, we reformulate them by introducing additional state variables. This enables rigorous structural identifiability analysis using the StructuralIdentifiability.jl package in JULIA. We validate the structural identifiability results by performing parameter estimation and forecasting using the GrowthPredict MATLAB toolbox. This toolbox is designed to fit and forecast time-series trajectories based on phenomenological growth models. We applied it to three epidemiological datasets: weekly incidence data for monkeypox, COVID-19, and Ebola. Additionally, we assess practical identifiability through Monte Carlo simulations to evaluate parameter estimation robustness under varying levels of observational noise. Our results confirm that all six models are structurally identifiable under the proposed reformulation. Furthermore, practical identifiability analyses demonstrate that parameter estimates remain robust across different noise levels, though sensitivity varies by model and dataset. These findings provide critical insights into the strengths and limitations of phenomenological models to characterize epidemic trajectories, emphasizing their adaptability to real-world challenges and their role in informing public health interventions.

Identifiability investigation of within-host models of acute virus infection

Uncertainty in parameter estimates from fitting within-host models to empirical data limits the model's ability to uncover mechanisms of infection, disease progression, and to guide pharmaceutical interventions. Understanding the effect of model structure and data availability on model predictions is important for informing model development and experimental design. To address sources of uncertainty in parameter estimation, we used four mathematical models of influenza A infection with increased degrees of biological realism. We tested the ability of each model to reveal its parameters in the presence of unlimited data by performing structural identifiability analyses. We then refined the results by predicting practical identifiability of parameters under daily influenza A virus titers alone or together with daily adaptive immune cell data. Using these approaches, we presented insight into the sources of uncertainty in parameter estimation and provided guidelines for the types of model assumptions, optimal experimental design, and biological information needed for improved predictions.

Identifiability investigation of within-host models of acute virus infection

Uncertainty in parameter estimates from fitting within-host models to empirical data limits the model's ability to uncover mechanisms of infection, disease progression, and to guide pharmaceutical interventions. Understanding the effect of model structure and data availability on model predictions is important for informing model development and experimental design. To address sources of uncertainty in parameter estimation, we use four mathematical models of influenza A infection with increased degrees of biological realism. We test the ability of each model to reveal its parameters in the presence of unlimited data by performing structural identifiability analyses. We then refine the results by predicting practical identifiability of parameters under daily influenza A virus titers alone or together with daily adaptive immune cell data. Using these approaches, we present insight into the sources of uncertainty in parameter estimation and provide guidelines for the types of model assumptions, optimal experimental design, and biological information needed for improved predictions.

A novel within-host model of HIV and nutrition

In this paper we develop a four compartment within-host model of nutrition and HIV. We show that the model has two equilibria: an infection-free equilibrium and infection equilibrium. The infection free equilibrium is locally asymptotically stable when the basic reproduction number $ \mathcal{R}_0 < 1 $, and unstable when $ \mathcal{R}_0 > 1 $. The infection equilibrium is locally asymptotically stable if $ \mathcal{R}_0 > 1 $ and an additional condition holds. We show that the within-host model of HIV and nutrition is structured to reveal its parameters from the observations of viral load, CD4 cell count and total protein data. We then estimate the model parameters for these 3 data sets. We have also studied the practical identifiability of the model parameters by performing Monte Carlo simulations, and found that the rate of clearance of the virus by immunoglobulins is practically unidentifiable, and that the rest of the model parameters are only weakly identifiable given the experimental data. Furthermore, we have studied how the data frequency impacts the practical identifiability of model parameters.

The effect of model structure and data availability on Usutu virus dynamics at three biological scales

Understanding the epidemiology of emerging pathogens, such as Usutu virus (USUV) infections, requires systems investigation at each scale involved in the host-virus transmission cycle, from individual bird infections, to bird-to-vector transmissions, and to USUV incidence in bird and vector populations. For new pathogens field data are sparse, and predictions can be aided by the use of laboratory-type inoculation and transmission experiments combined with dynamical mathematical modelling. In this study, we investigated the dynamics of two strains of USUV by constructing mathematical models for the within-host scale, bird-to-vector transmission scale and vector-borne epidemiological scale. We used individual within-host infectious virus data and per cent mosquito infection data to predict USUV incidence in birds and mosquitoes. We addressed the dependence of predictions on model structure, data uncertainty and experimental design. We found that uncertainty in predictions at one scale change predicted results at another scale. We proposed in silico experiments that showed that sampling every 12 hours ensures practical identifiability of the within-host scale model. At the same time, we showed that practical identifiability of the transmission scale functions can only be improved under unrealistically high sampling regimes. Instead, we proposed optimal experimental designs and suggested the types of experiments that can ensure identifiability at the transmission scale and, hence, induce robustness in predictions at the epidemiological scale.

A computational approach to identifiability analysis for a model of the propagation and control of COVID-19 in Chile

A computational approach is adapted to analyze the parameter identifiability of a compartmental model. The model is intended to describe the progression of the COVID-19 pandemic in Chile during the initial phase in early 2020 when government declared quarantine measures. The computational approach to analyze the structural and practical identifiability is applied in two parts, one for synthetic data and another for some Chilean regional data. The first part defines the identifiable parameter sets when these recover the true parameters used to create the synthetic data. The second part compares the results derived from synthetic data, estimating the identifiable parameter sets from regional Chilean epidemic data. Experiments provide evidence of the loss of identifiability if some initial conditions are estimated, the period of time used to fit is before the peak, and if a significant proportion of the population is involved in quarantine periods.

Modelling Degradation and Replication Kinetics of the Zika Virus In Vitro Infection

Mathematical models of in vitro viral kinetics help us understand and quantify the main determinants underlying the virus–host cell interactions. We aimed to provide a numerical characterization of the Zika virus (ZIKV) in vitro infection kinetics, an arthropod-borne emerging virus that has gained public recognition due to its association with microcephaly in newborns. The mathematical model of in vitro viral infection typically assumes that degradation of extracellular infectious virus proceeds in an exponential manner, that is, each viral particle has the same probability of losing infectivity at any given time. We incubated ZIKV stock in the cell culture media and sampled with high frequency for quantification over the course of 96 h. The data showed a delay in the virus degradation in the first 24 h followed by a decline, which could not be captured by the model with exponentially distributed decay time of infectious virus. Thus, we proposed a model, in which inactivation of infectious ZIKV is gamma distributed and fit the model to the temporal measurements of infectious virus remaining in the media. The model was able to reproduce the data well and yielded the decay time of infectious ZIKV to be 40 h. We studied the in vitro ZIKV infection kinetics by conducting cell infection at two distinct multiplicity of infection and measuring viral loads over time. We fit the mathematical model of in vitro viral infection with gamma distributed degradation time of infectious virus to the viral growth data and identified the timespans and rates involved within the ZIKV-host cell interplay. Our mathematical analysis combined with the data provides a well-described example of non-exponential viral decay dynamics and presents numerical characterization of in vitro infection with ZIKV.

Model Averaging in Viral Dynamic Models

The paucity of experimental data makes both inference and prediction particularly challenging in viral dynamic models. In the presence of several candidate models, a common strategy is model selection (MS), in which models are fitted to the data but only results obtained with the "best model" are presented. However, this approach ignores model uncertainty, which may lead to inaccurate predictions. When several models provide a good fit to the data, another approach is model averaging (MA) that weights the predictions of each model according to its consistency to the data. Here, we evaluated by simulations in a nonlinear mixed-effect model framework the performances of MS and MA in two realistic cases of acute viral infection, i.e., (1) inference in the presence of poorly identifiable parameters, namely, initial viral inoculum and eclipse phase duration, (2) uncertainty on the mechanisms of action of the immune response. MS was associated in some scenarios with a large rate of false selection. This led to a coverage rate lower than the nominal coverage rate of 0.95 in the majority of cases and below 0.50 in some scenarios. In contrast, MA provided better estimation of parameter uncertainty, with coverage rates ranging from 0.72 to 0.98 and mostly comprised within the nominal coverage rate. Finally, MA provided similar predictions than those obtained with MS. In conclusion, parameter estimates obtained with MS should be taken with caution, especially when several models well describe the data. In this situation, MA has better performances and could be performed to account for model uncertainty.

Structural and practical identifiability of dual-input kinetic modeling in dynamic PET of liver inflammation

Dynamic 18F-FDG PET with tracer kinetic modeling has the potential to noninvasively evaluate human liver inflammation using the FDG blood-to-tissue transport rate K 1. Accurate kinetic modeling of dynamic liver PET data and K 1 quantification requires the knowledge of dual-blood input function from the hepatic artery and portal vein. While the arterial input function can be derived from the aortic region on dynamic PET images, it is difficult to extract the portal vein input function accurately from PET images. The optimization-derived dual-input kinetic modeling approach has been proposed to overcome this problem by jointly estimating the portal vein input function and FDG tracer kinetics from time activity curve fitting. In this paper, we further characterize the model properties by analyzing the structural identifiability of the model parameters using the Laplace transform and practical identifiability using computer simulation based on fourteen patient datasets. The theoretical analysis has indicated that all the kinetic parameters of the dual-input kinetic model are structurally identifiable, though subject to local solutions. The computer simulation results have shown that FDG K 1 can be estimated reliably in the whole-liver region of interest with reasonable bias, standard deviation, and high correlation between estimated and original values, indicating of practical identifiability of K 1. The result has also demonstrated the correlation between K 1 and histological liver inflammation scores is reliable. FDG K 1 quantification by the optimization-derived dual-input kinetic model is promising for assessing liver inflammation.

A model-based initial guess for estimating parameters in systems of ordinary differential equations

The inverse problem of parameter estimation from noisy observations is a major challenge in statistical inference for dynamical systems. Parameter estimation is usually carried out by optimizing some criterion function over the parameter space. Unless the optimization process starts with a good initial guess, the estimation may take an unreasonable amount of time, and may converge to local solutions, if at all. In this article, we introduce a novel technique for generating good initial guesses that can be used by any estimation method. We focus on the fairly general and often applied class of systems linear in the parameters. The new methodology bypasses numerical integration and can handle partially observed systems. We illustrate the performance of the method using simulations and apply it to real data.

Generalized Ordinary Differential Equation Models

Existing estimation methods for ordinary differential equation (ODE) models are not applicable to discrete data. The generalized ODE (GODE) model is therefore proposed and investigated for the first time. We develop the likelihood-based parameter estimation and inference methods for GODE models. We propose robust computing algorithms and rigorously investigate the asymptotic properties of the proposed estimator by considering both measurement errors and numerical errors in solving ODEs. The simulation study and application of our methods to an influenza viral dynamics study suggest that the proposed methods have a superior performance in terms of accuracy over the existing ODE model estimation approach and the extended smoothing-based (ESB) method.

Modeling HIV-1 dynamics and fitness in cell culture across scales

A common approach to understand and analyze complex biological systems is to describe the dynamics in terms of a system of ordinary differential equations (ODE) depending on numerous biologically meaningful and descriptive parameters that are estimated using observed data. The ODE models are often based on the implicit assumption of well-mixed dynamics, i.e., the delay of interaction due to spatial distribution is not included in the model. In this article, we address the question how the heterogeneity of the underlying system affects the estimated parameter values of the ODE model, and on the other hand, what information about the microscopic system can be drawn from these values. The system we are considering is a pairwise growth competition assay used to quantify ex vivo replicative fitness of different HIV-1 isolates. To overcome the lack of ground truth, we generate data using a detailed microscopic spatially distributed hybrid stochastic-deterministic (HSD) infection model in which the dynamics is controlled by parameters directly related to cell level infection, virus production processes, and diffusion of virus particles. The synthetic data sets are then analyzed using an ODE based well-mixed model, in which the corresponding macroscopic parameter distributions are estimated using Markov chain Monte Carlo (MCMC) methods. This approach provides a comprehensive picture of the statistical dependencies of the model parameter across different scales.

Factors affecting relative fitness measurements in pairwise competition assays of human immunodeficiency viruses

Cell culture growth competition assays of human immunodeficiency virus type 1 (HIV-1) are used to estimate viral fitness and quantify the impact of mutations conferring drug resistance and immunological escape. A comprehensive study of growth competition assays was conducted and identified experimental parameters that can impact measurements of relative fitness including multiplicity of infection, viral input ratio, number, timing and interval of time points used to evaluate selective outgrowth, and the algorithm for calculating fitness values. An optimized protocol is developed here that is a multi-point growth competition assay that resolves reproducibly small differences in viral fitness. The optimized protocol uses an MOI of 0.005, a consistent ratio of mutant: parental viruses (70:30), and a multipoint [1+s 4,7] algorithm that uses data points within the logarithmic phase of viral growth for assessing fitness differences.

A practical approach to parameter estimation applied to model predicting heart rate regulation

Mathematical models have long been used for prediction of dynamics in biological systems. Recently, several efforts have been made to render these models patient specific. One way to do so is to employ techniques to estimate parameters that enable model based prediction of observed quantities. Knowledge of variation in parameters within and between groups of subjects have potential to provide insight into biological function. Often it is not possible to estimate all parameters in a given model, in particular if the model is complex and the data is sparse. However, it may be possible to estimate a subset of model parameters reducing the complexity of the problem. In this study, we compare three methods that allow identification of parameter subsets that can be estimated given a model and a set of data. These methods will be used to estimate patient specific parameters in a model predicting baroreceptor feedback regulation of heart rate during head-up tilt. The three methods include: structured analysis of the correlation matrix, analysis via singular value decomposition followed by QR factorization, and identification of the subspace closest to the one spanned by eigenvectors of the model Hessian. Results showed that all three methods facilitate identification of a parameter subset. The "best" subset was obtained using the structured correlation method, though this method was also the most computationally intensive. Subsets obtained using the other two methods were easier to compute, but analysis revealed that the final subsets contained correlated parameters. In conclusion, to avoid lengthy computations, these three methods may be combined for efficient identification of parameter subsets.

A hybrid stochastic-deterministic computational model accurately describes spatial dynamics and virus diffusion in HIV-1 growth competition assay

We present a new hybrid stochastic-deterministic, spatially distributed computational model to simulate growth competition assays on a relatively immobile monolayer of peripheral blood mononuclear cells (PBMCs), commonly used for determining ex vivo fitness of human immunodeficiency virus type-1 (HIV-1). The novel features of our approach include incorporation of viral diffusion through a deterministic diffusion model while simulating cellular dynamics via a stochastic Markov chain model. The model accounts for multiple infections of target cells, CD4-downregulation, and the delay between the infection of a cell and the production of new virus particles. The minimum threshold level of infection induced by a virus inoculum is determined via a series of dilution experiments, and is used to determine the probability of infection of a susceptible cell as a function of local virus density. We illustrate how this model can be used for estimating the distribution of cells infected by either a single virus type or two competing viruses. Our model captures experimentally observed variation in the fitness difference between two virus strains, and suggests a way to minimize variation and dual infection in experiments.

Evaluation of multitype mathematical models for CFSE-labeling experiment data

Carboxy-fluorescein diacetate succinimidyl ester (CFSE) labeling is an important experimental tool for measuring cell responses to extracellular signals in biomedical research. However, changes of the cell cycle (e.g., time to division) corresponding to different stimulations cannot be directly characterized from data collected in CFSE-labeling experiments. A number of independent studies have developed mathematical models as well as parameter estimation methods to better understand cell cycle kinetics based on CFSE data. However, when applying different models to the same data set, notable discrepancies in parameter estimates based on different models has become an issue of great concern. It is therefore important to compare existing models and make recommendations for practical use. For this purpose, we derived the analytic form of an age-dependent multitype branching process model. We then compared the performance of different models, namely branching process, cyton, Smith-Martin, and a linear birth-death ordinary differential equation (ODE) model via simulation studies. For fairness of model comparison, simulated data sets were generated using an agent-based simulation tool which is independent of the four models that are compared. The simulation study results suggest that the branching process model significantly outperforms the other three models over a wide range of parameter values. This model was then employed to understand the proliferation pattern of CD4+ and CD8+ T cells under polyclonal stimulation.

Parameter Estimation for Differential Equation Models Using a Framework of Measurement Error in Regression Models

Differential equation (DE) models are widely used in many scientific fields that include engineering, physics and biomedical sciences. The so-called "forward problem", the problem of simulations and predictions of state variables for given parameter values in the DE models, has been extensively studied by mathematicians, physicists, engineers and other scientists. However, the "inverse problem", the problem of parameter estimation based on the measurements of output variables, has not been well explored using modern statistical methods, although some least squares-based approaches have been proposed and studied. In this paper, we propose parameter estimation methods for ordinary differential equation models (ODE) based on the local smoothing approach and a pseudo-least squares (PsLS) principle under a framework of measurement error in regression models. The asymptotic properties of the proposed PsLS estimator are established. We also compare the PsLS method to the corresponding SIMEX method and evaluate their finite sample performances via simulation studies. We illustrate the proposed approach using an application example from an HIV dynamic study.

Modeling of influenza-specific CD8+ T cells during the primary response indicates that the spleen is a major source of effectors

The biological parameters that determine the distribution of virus-specific CD8(+) T cells during influenza infection are not all directly measurable by experimental techniques but can be inferred through mathematical modeling. Mechanistic and semimechanistic ordinary differential equations were developed to describe the expansion, trafficking, and disappearance of activated virus-specific CD8(+) T cells in lymph nodes, spleens, and lungs of mice during primary influenza A infection. An intensive sampling of virus-specific CD8(+) T cells from these three compartments was used to inform the models. Rigorous statistical fitting of the models to the experimental data allowed estimation of important biological parameters. Although the draining lymph node is the first tissue in which Ag-specific CD8(+) T cells are detected, it was found that the spleen contributes the greatest number of effector CD8(+) T cells to the lung, with rates of expansion and migration that exceeded those of the draining lymph node. In addition, models that were based on the number and kinetics of professional APCs fit the data better than those based on viral load, suggesting that the immune response is limited by Ag presentation rather than the amount of virus. Modeling also suggests that loss of effector T cells from the lung is significant and time dependent, increasing toward the end of the acute response. Together, these efforts provide a better understanding of the primary CD8(+) T cell response to influenza infection, changing the view that the spleen plays a minor role in the primary immune response.

Design evaluation and optimization for models of hepatitis C viral dynamics

Mathematical modeling of hepatitis C viral (HCV) kinetics is widely used for understanding viral pathogenesis and predicting treatment outcome. The standard model is based on a system of five non-linear ordinary differential equations (ODE) that describe both viral kinetics and changes in drug concentration after treatment initiation. In such complex models parameter estimation is challenging and requires frequent sampling measurements on each individual. By borrowing information between study subjects, non-linear mixed effect models can deal with sparser sampling from each individual. However, the search for optimal designs in this context has been limited by the numerical difficulty of evaluating the Fisher information matrix (FIM). Using the software PFIM, we show that a linearization of the statistical model avoids most of the computational burden, while providing a good approximation to the FIM. We then compare the precision of the parameters that can be expected using five study designs from the literature. We illustrate the usefulness of rationalizing data sampling by showing that, for a given level of precision, optimal design could reduce the total number of measurements by up 50 per cent. Our approach can be used by a statistician or a clinician aiming at designing an HCV viral kinetics study.

ON IDENTIFIABILITY OF NONLINEAR ODE MODELS AND APPLICATIONS IN VIRAL DYNAMICS

Ordinary differential equations (ODE) are a powerful tool for modeling dynamic processes with wide applications in a variety of scientific fields. Over the last 2 decades, ODEs have also emerged as a prevailing tool in various biomedical research fields, especially in infectious disease modeling. In practice, it is important and necessary to determine unknown parameters in ODE models based on experimental data. Identifiability analysis is the first step in determing unknown parameters in ODE models and such analysis techniques for nonlinear ODE models are still under development. In this article, we review identifiability analysis methodologies for nonlinear ODE models developed in the past one to two decades, including structural identifiability analysis, practical identifiability analysis and sensitivity-based identifiability analysis. Some advanced topics and ongoing research are also briefly reviewed. Finally, some examples from modeling viral dynamics of HIV, influenza and hepatitis viruses are given to illustrate how to apply these identifiability analysis methods in practice.

An effective automatic procedure for testing parameter identifiability of HIV/AIDS models

Realistic HIV models tend to be rather complex and many recent models proposed in the literature could not yet be analyzed by traditional identifiability testing techniques. In this paper, we check a priori global identifiability of some of these nonlinear HIV models taken from the recent literature, by using a differential algebra algorithm based on previous work of the author. The algorithm is implemented in a software tool, called DAISY (Differential Algebra for Identifiability of SYstems), which has been recently released (DAISY is freely available on the web site http://www.dei.unipd.it/~pia/ ). The software can be used to automatically check global identifiability of (linear and) nonlinear models described by polynomial or rational differential equations, thus providing a general and reliable tool to test global identifiability of several HIV models proposed in the literature. It can be used by researchers with a minimum of mathematical background.

Principal component analysis of general patterns of HIV-1 replicative fitness in different drug environments

To detect general patterns and temporal trends of HIV-1 resistance, we apply principal component analysis (PCA) to in vitro fitness data. Twenty-eight thousand virus samples, obtained between 2002 and 2008, were assayed for fitness in 16 to 21 selective environments. Fitness measurements are based on replication capacity (RC), which quantifies in vitro viral replication in a single cycle of infection. RC is determined both in the absence of drugs and in the presence of 6-7 nucleoside analog reverse transcriptase inhibitors (NRTIs), 3-4 non-nucleoside reverse transcriptase inhibitors (NNRTIs), and 6-9 protease inhibitors (PIs). PCA shows remarkable structure in RC across the different environments, which reveals differences in the patterns of resistance and cross-resistance between drugs or between drug classes. To probe the causes of the observed patterns, we develop a model to generate simulated data and subject these simulated data to an equivalent analysis. By comparing the outcomes of PCA on the original and the simulated data, we quantify which part of the total variance of the original data is due to non-specific effects, class-specific effects, and drug-specific effects of resistance mutations. We find that relative fitness is mainly drug-independent and that drug-specific effects are substantially bigger than class-specific effects for NRTIs, but not for NNRTIs or PIs. The observed patterns remain remarkably stable over the period of observation. Comparison with known potent combination therapies suggests that PCA helps to identify combinations that act synergistically in preventing the emergence of resistance.

ESTIMATION OF CONSTANT AND TIME-VARYING DYNAMIC PARAMETERS OF HIV INFECTION IN A NONLINEAR DIFFERENTIAL EQUATION MODEL

Modeling viral dynamics in HIV/AIDS studies has resulted in deep understanding of pathogenesis of HIV infection from which novel antiviral treatment guidance and strategies have been derived. Viral dynamics models based on nonlinear differential equations have been proposed and well developed over the past few decades. However, it is quite challenging to use experimental or clinical data to estimate the unknown parameters (both constant and time-varying parameters) in complex nonlinear differential equation models. Therefore, investigators usually fix some parameter values, from the literature or by experience, to obtain only parameter estimates of interest from clinical or experimental data. However, when such prior information is not available, it is desirable to determine all the parameter estimates from data. In this paper, we intend to combine the newly developed approaches, a multi-stage smoothing-based (MSSB) method and the spline-enhanced nonlinear least squares (SNLS) approach, to estimate all HIV viral dynamic parameters in a nonlinear differential equation model. In particular, to the best of our knowledge, this is the first attempt to propose a comparatively thorough procedure, accounting for both efficiency and accuracy, to rigorously estimate all key kinetic parameters in a nonlinear differential equation model of HIV dynamics from clinical data. These parameters include the proliferation rate and death rate of uninfected HIV-targeted cells, the average number of virions produced by an infected cell, and the infection rate which is related to the antiviral treatment effect and is time-varying. To validate the estimation methods, we verified the identifiability of the HIV viral dynamic model and performed simulation studies. We applied the proposed techniques to estimate the key HIV viral dynamic parameters for two individual AIDS patients treated with antiretroviral therapies. We demonstrate that HIV viral dynamics can be well characterized and quantified for individual patients. As a result, personalized treatment decision based on viral dynamic models is possible.

Sieve Estimation of Constant and Time-Varying Coefficients in Nonlinear Ordinary Differential Equation Models by Considering Both Numerical Error and Measurement Error

This article considers estimation of constant and time-varying coefficients in nonlinear ordinary differential equation (ODE) models where analytic closed-form solutions are not available. The numerical solution-based nonlinear least squares (NLS) estimator is investigated in this study. A numerical algorithm such as the Runge-Kutta method is used to approximate the ODE solution. The asymptotic properties are established for the proposed estimators considering both numerical error and measurement error. The B-spline is used to approximate the time-varying coefficients, and the corresponding asymptotic theories in this case are investigated under the framework of the sieve approach. Our results show that if the maximum step size of the p-order numerical algorithm goes to zero at a rate faster than n(-1/(p∧4)), the numerical error is negligible compared to the measurement error. This result provides a theoretical guidance in selection of the step size for numerical evaluations of ODEs. Moreover, we have shown that the numerical solution-based NLS estimator and the sieve NLS estimator are strongly consistent. The sieve estimator of constant parameters is asymptotically normal with the same asymptotic co-variance as that of the case where the true ODE solution is exactly known, while the estimator of the time-varying parameter has the optimal convergence rate under some regularity conditions. The theoretical results are also developed for the case when the step size of the ODE numerical solver does not go to zero fast enough or the numerical error is comparable to the measurement error. We illustrate our approach with both simulation studies and clinical data on HIV viral dynamics.

Differential equation modeling of HIV viral fitness experiments: model identification, model selection, and multimodel inference

Many biological processes and systems can be described by a set of differential equation (DE) models. However, literature in statistical inference for DE models is very sparse. We propose statistical estimation, model selection, and multimodel averaging methods for HIV viral fitness experiments in vitro that can be described by a set of nonlinear ordinary differential equations (ODE). The parameter identifiability of the ODE models is also addressed. We apply the proposed methods and techniques to experimental data of viral fitness for HIV-1 mutant 103N. We expect that the proposed modeling and inference approaches for the DE models can be widely used for a variety of biomedical studies.