Bayesian experimental design for nonlinear mixed-effects models with application to HIV dynamics

Bayesian experimental design is investigated for Bayesian analysis of nonlinear mixed-effects models. Existence of the posterior risk for parameter estimation is shown. When the same prior distribution is used for both design and inference, existence of the preposterior risk for design is also proven. If the prior distribution used in design is different from that used for inference, sufficient conditions are established for existence of the preposterior risk for design. A case study of design for an experiment in population HIV dynamics is provided.