Falsifying Oscillation Properties of Parametric Biological Models

Thao Dang
Tommaso Dreossi
(VERIMAG, University of Udine)

We propose an approach to falsification of oscillation properties of parametric biological models, based on the recently developed techniques for testing continuous and hybrid systems. In this approach, an oscillation property can be specified using a hybrid automaton, which is then used to guide the exploration in the state and input spaces to search for the behaviors that do not satisfy the property. We illustrate the approach with the Laub-Loomis model for spontaneous oscillations during the aggregation stage of Dictyostelium.

In Thao Dang and Carla Piazza: Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013), Taormina, Italy, 2nd September 2013, Electronic Proceedings in Theoretical Computer Science 125, pp. 53–67.
Published: 27th August 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.125.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org