Toward Systems Biology

May 30 - 31, June 1, 2011


Home         Confirmed speakers         Program         Registration         Venue         Accommodation

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