| Identifikační kód | RIV/00216224:14330/14:00077017 |
|---|
| Název v anglickém jazyce | Precise Parameter Synthesis for Stochastic Biochemical Systems |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2014 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Milan Češka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1846000)
Frits Dannenberg (státní příslušnost: NL - Nizozemsko)
Marta Kwiatkowska (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska)
Nicola Paoletti (státní příslušnost: IT - Italská republika) |
|---|
| Popis výsledku v anglickém jazyce | 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/minimised. We develop algorithms based on the computation of lower and upper bounds of the probability, in conjunction with refinement and sampling, which yield answers that are precise to within an arbitrarily small tolerance value. Our methods are efficient and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for two biologically motivated case studies, including the reliability analysis of a DNA walker. |
|---|
| Klíčová slova oddělená středníkem | stochastic biochemical systems; parameter synthesis; continuous time Markov chains; model-checking |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1007/978-3-319-12982-2_7 |
|---|