PRISM at Discovery Park

"Effective sampling schemes for behavior discrimination in nonlinear ODE systems"

November 22 @ 12:00 PM - 1:00 PM - BRK 2001 - Guest Speaker: Vu Dinh

Behavior discrimination, or parameter synthesis, is the problem of identifying sets of parameters for which the system does (or does not) reach a given set of states. The problem has important applications in various fields of applied sciences; however, current methods for behavior discrimination of ODE systems usually have computational cost increases exponentially with the number of varying parameters, without rigorous bounds on the numerical errors.

In this work, we investigated the problem of choosing effective data sampling schemes for behavior discrimination of ODE models. Using the expected boundary estimator in a probabilistic framework, we suggested two classes of sampling schemes: the low-discrepancy sampling, and the uncertainty-based sequential sampling. In both cases, we successfully derived theoretical results about the convergence of the expected boundary to the discriminating boundary and demonstrate the efficacy of the method in different application contexts. The results indicate that the number of model evaluations needed to produce a fair approximation of the discriminating boundary using our method is more feasible than others. The algorithm is also more robust and can explore a large class of boundary curves, including the case when the boundary has multiple components.


Bookmark and Share

Contact Details

More Information

«February 2018»
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28