Ran Liu, Yun Fang, Lixing Zhu*

*Corresponding author for this work

Research output: Contribution to journalJournal articlepeer-review

1 Citation (Scopus)


Model checking for parametric ordinary differential equations is a necessary step when checking whether the assumed models are plausible. In this paper, we first introduce a trajectory matching-based test for the whole model, which can also easily be applied to check partially observed systems. Then, we provide two tests to identify which component function is modeled incorrectly. The first is based on integral matching, and the second is based on gradient matching, with bias correction achieved using data splitting. We investigate their asymptotic properties under the null, global, and local alternative hypotheses. Because there are no results for relevant parameter estimations for alternative models in the literature, we also investigate the asymptotic properties of the nonlinear least squares estimation and the two-step estimation under both the null and the alternatives. To examine the performance of the tests, we conduct several numerical simulations and an analysis using a real-data example on immune cell kinetics and trafficking for influenza infection.

Original languageEnglish
Pages (from-to)1853-1878
Number of pages26
JournalStatistica Sinica
Issue number3
Publication statusPublished - Jul 2023

Scopus Subject Areas

  • Statistics and Probability
  • Statistics, Probability and Uncertainty

User-Defined Keywords

  • Local smoothing test
  • model checking
  • ordinary differential equations


Dive into the research topics of 'MODEL CHECKING FOR PARAMETRIC ORDINARY DIFFERENTIAL EQUATIONS SYSTEMS'. Together they form a unique fingerprint.

Cite this