Analysis of parametric biological models with non-linear dynamics

Romain Testylier, Thao Dang

In this paper we present recent results on parametric analysis of biological models. The underlying method is based on the algorithms for computing trajectory sets of hybrid system…