We present a method that-given a data set, a finitely parametrized system of ordinary differential equations (ODEs), and a search space of parameters-discards portions of the search space that are inconsistent with the model ODE and data. The method is completely rigorous as it is based on validated integration of the vector field. As a consequence, no consistent parameters can be lost during the pruning phase. For data sets with moderate levels of noise, this yields a good reconstruction of the underlying parameters. Several examples are included to illustrate the merits of the method.
- Interval analysis
- Ordinary differential equations
- Parameter estimation
- Rigorous numerics