Sciweavers

TCS
2008

On temporal logic constraint solving for analyzing numerical data time series

13 years 3 months ago
On temporal logic constraint solving for analyzing numerical data time series
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction in both qualitative and quantitative models. In this article, we go beyond model-checking and present a constraint solving algorithm for quantifier-free first-order temporal logic formulae with constraints over the reals. This algorithm computes the domain of the real valued variables occurring in a formula that makes it true in a model. We illustrate this approach for the automatic generation of temporal logic specification from biological data time series. We provide a set of biologically relevant patterns of formulae, and apply them on numerical data time series of models of the cell cycle control and MAPK signal transduction. We show on these examples that this approach succeeds in inferring automatically semiqualititave semi-quantitative information on concentration thresholds, amplitude of oscillations...
François Fages, Aurélien Rizk
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TCS
Authors François Fages, Aurélien Rizk
Comments (0)