Analysis of parametric biological models with non-linear dynamics

Romain Testylier
(VERIMAG, Joseph Fourier University)
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 systems with polynomial dynamics. The method is then applied to two case studies of biological systems: one is a cardiac cell model for studying the conditions for cardiac abnormalities, and the second is a model of insect nest-site choice.

In Ezio Bartocci and Luca Bortolussi: Proceedings First International Workshop on Hybrid Systems and Biology (HSB 2012), Newcastle Upon Tyne, 3rd September 2012, Electronic Proceedings in Theoretical Computer Science 92, pp. 16–29.
Published: 15th August 2012.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: