Title | ||
---|---|---|
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology |
Abstract | ||
---|---|---|
Finding mathematical models satisfying a specification built from the formalization of biological experiments, is a common task of the modeller that techniques like model-checking help solving, in the qualitative but also in the quantitative case. In this article we propose to go one step further by defining a continuous degree of satisfaction of a temporal logic formula with constraints. We show how such a satisfaction measure can be used as a fitness function with state-of-the-art search methods in order to find biochemical kinetic parameter values satisfying a set of biological properties formalized in temporal logic. We also show how it can be used to define a measure of robustness of a biological model with respect to some specification. These methods are evaluated on models of the cell cycle and of the MAPK signalling cascade. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-88562-7_19 | CMSB |
Keywords | Field | DocType |
biological model,temporal logic,temporal logic formula,mapk signalling cascade,common task,biological experiment,cell cycle,biological property,continuous degree,satisfaction measure,temporal logic formulae,systems biology,biochemical kinetic parameter,system biology | Discrete mathematics,Interval temporal logic,Computer science,Systems biology,Robustness (computer science),Theoretical computer science,Fitness function,MODELLER,Cascade,Temporal logic,Mathematical model | Conference |
Volume | ISSN | Citations |
5307 | 0302-9743 | 51 |
PageRank | References | Authors |
2.86 | 27 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Aurélien Rizk | 1 | 149 | 8.72 |
Grégory Batt | 2 | 364 | 25.79 |
François Fages | 3 | 1383 | 126.46 |
Sylvain Soliman | 4 | 484 | 35.02 |