Toward Systems Biology
May 30 - 31, June 1, 2011
Grenoble
Applying the Hybridization Approach to Biological Models
In this presentation, we describe the hybridization approach for the verification of non-linear ODEs and how it can be applied to the analysis of biological models. The main idea of the hybridization approach is to approximate non-linear dynamics with a dynamics which is linear in each approximation domain. A challenging problem is to define approximation domains and associated approximate linear dynamics in order to guarantee accuracy and computational efficiency requirements. Recent results on this approach are then presented, and our experiences in the analysis of some biological models using this approach are also reported.
Thao Dang, Verimag