Query-based verification of qualitative trends and oscillations in biochemical systems

Paolo Ballarini, Maria Luisa Guerriero

Research output: Contribution to journalArticlepeer-review

Abstract

We investigate the application of query-based verification to the analysis of behavioural trends of stochastic models of biochemical systems. We derive temporal logic properties which address specific behavioural questions, such as the likelihood for a species to reach a peak/deadlock state, or to exhibit monotonic/oscillatory trends. We introduce a specific modelling convention through which stochastic models of biochemical systems are made suitable to verification of the behavioural queries we define. Based on the queries we identify, we define a classification procedure which, given a stochastic model, allows for identifying meaningful qualitative behavioural trends. We illustrate the proposed query-based classification on a number of simple abstract models of biochemical systems. (C) 2010 Elsevier B.V. All rights reserved.

Original languageEnglish
Pages (from-to)2019-2036
Number of pages18
JournalTheoretical Computer Science
Volume411
Issue number20
DOIs
Publication statusPublished - 28 Apr 2010

Fingerprint

Dive into the research topics of 'Query-based verification of qualitative trends and oscillations in biochemical systems'. Together they form a unique fingerprint.

Cite this