Precise parameter synthesis for stochastic biochemical systems

J 2017

Precise parameter synthesis for stochastic biochemical systems

ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA a Luboš BRIM

Základní údaje

Originální název

Precise parameter synthesis for stochastic biochemical systems

Název česky

Syntéza parametrů pro stochastické biochemické systémy

Autoři

ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA a Luboš BRIM

Vydání

Acta informatica, Springer, 2017, 0001-5903

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Impakt faktor

Impact factor: 0.886

Organizační jednotka

Fakulta informatiky

DOI

http://dx.doi.org/10.1007/s00236-016-0265-2

UT WoS

000407713300003

Klíčová slova anglicky

stochastic systems; biochemical systems; parameter estimation

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 27. 4. 2020 13:28, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle.

Návaznosti

GA15-11089S, projekt VaV

Název: Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Investor: Grantová agentura ČR, Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Citovat

ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA a Luboš BRIM. Precise parameter synthesis for stochastic biochemical systems. Acta informatica. Springer, 2017, roč. 54, č. 6, s. 589-623. ISSN 0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-016-0265-2.

@article{1364977,
   author = {Češka, Milan and Dannenberg, Frits and Kwiatkowska, Marta and Brim, Luboš},
   article_number = {6},
   doi = {http://dx.doi.org/10.1007/s00236-016-0265-2},
   keywords = {stochastic systems; biochemical systems; parameter estimation},
   language = {eng},
   issn = {0001-5903},
   journal = {Acta informatica},
   title = {Precise parameter synthesis for stochastic biochemical systems},
   url = {http://dx.doi.org/10.1007/s00236-016-0265-2},
   volume = {54},
   year = {2017}
}

TY  - JOUR
ID  - 1364977
AU  - Češka, Milan - Dannenberg, Frits - Kwiatkowska, Marta - Brim, Luboš
PY  - 2017
TI  - Precise parameter synthesis for stochastic biochemical systems
JF  - Acta informatica
VL  - 54
IS  - 6
SP  - 589-623
EP  - 589-623
PB  - Springer
SN  - 00015903
KW  - stochastic systems
KW  - biochemical systems
KW  - parameter estimation
UR  - http://dx.doi.org/10.1007/s00236-016-0265-2
L2  - http://dx.doi.org/10.1007/s00236-016-0265-2
N2  - We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle.
ER  -

ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA a Luboš BRIM. Precise parameter synthesis for stochastic biochemical systems. \textit{Acta informatica}. Springer, 2017, roč.~54, č.~6, s.~589-623. ISSN~0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-016-0265-2.

Podrobný výpis o publikaci