Projects per year
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 language | English |
---|---|
Pages (from-to) | 2019-2036 |
Number of pages | 18 |
Journal | Theoretical Computer Science |
Volume | 411 |
Issue number | 20 |
DOIs | |
Publication status | Published - 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.Projects
- 2 Finished
-
SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis
1/09/07 → 31/01/11
Project: Research
-
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
8/01/07 → 31/12/12
Project: Research