Parameter Synthesis of Biological Models by Model Checking: A
Case Study

k 2017

Parameter Synthesis of Biological Models by Model Checking: A Case Study

BRIM, Luboš, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA et. al.

Základní údaje

Originální název

Parameter Synthesis of Biological Models by Model Checking: A Case Study

Autoři

BRIM, Luboš, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a Matej HAJNAL

Vydání

4th International Synthetic & Systems Biology Summer School. SSBSS 2017, 2017

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Odkazy

URL

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

parameter synthesis; model checking; systems biology; dynamical systems; synthetic biology

Příznaky

Mezinárodní význam

Změněno: 26. 2. 2018 10:28, prof. RNDr. Luboš Brim, CSc.

Anotace

V originále

Biological systems often exhibit very interesting behaviour as a result of their complex dynamical nature. Every system could be described in terms of some model (e.g., differential equations), but some of its quantitative aspects are hard to be measured. We are talking about uncertain parameters which have direct impact on a particular system's behaviour. In fact, these parameters and their investigation are the main objectives of our study. In general, there are many approaches for investigation of biological systems properties and their parameters. Most of the parameters are mutually dependent and therefore it is hard and computationally demanding to find admissible parameter values with respect to constraints such as hypothesised properties or wet-lab measurements. We focus on verification of such properties by model checking, a formal technique originally designed for the analysis of computer systems. Examined properties are defined in terms of temporal logics allowing to describe system behaviour over time. Recently, we have developed several high-performance techniques for parameter synthesis that are based on parallel coloured model checking. In this presentation, we review the applicability of our techniques in the context of biological systems. In particular, in matter of issues such as parameters prediction, biffurcation analysis and model optimisation.

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ů

LM2015055, projekt VaV

Název: Centrum pro systémovou biologii (Akronym: C4SYS)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, The national infrastructure C4SYS - Centre for Systems Biology

MUNI/A/0992/2016, interní kód MU

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU)

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BRIM, Luboš, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a Matej HAJNAL. Parameter Synthesis of Biological Models by Model Checking: A Case Study. In 4th International Synthetic & Systems Biology Summer School. SSBSS 2017. 2017.

@proceedings{1387861,
   author = {Brim, Luboš and Šafránek, David and Beneš, Nikola and Demko, Martin and Pastva, Samuel and Hajnal, Matej},
   booktitle = {4th International Synthetic & Systems Biology Summer School. SSBSS 2017},
   keywords = {parameter synthesis; model checking; systems biology; dynamical systems; synthetic biology},
   language = {eng},
   title = {Parameter Synthesis of Biological Models by Model Checking: A Case Study},
   url = {http://www.taosciences.it/ssbss/},
   year = {2017}
}

TY  - CONF
ID  - 1387861
AU  - Brim, Luboš - Šafránek, David - Beneš, Nikola - Demko, Martin - Pastva, Samuel - Hajnal, Matej
PY  - 2017
TI  - Parameter Synthesis of Biological Models by Model Checking: A Case Study
KW  - parameter synthesis
KW  - model checking
KW  - systems biology
KW  - dynamical systems
KW  - synthetic biology
UR  - http://www.taosciences.it/ssbss/
N2  - Biological systems often exhibit very interesting behaviour as a result of their complex dynamical nature. Every system could be described in terms of some model (e.g., differential equations), but some of its quantitative aspects are hard to be measured. We are talking about uncertain parameters which have direct impact on a particular system's behaviour. In fact, these parameters and their investigation are the main objectives of our study. In general, there are many approaches for investigation of biological systems properties and their parameters. Most of the parameters are mutually dependent and therefore it is hard and computationally demanding to find admissible parameter values with respect to constraints such as hypothesised properties or wet-lab measurements. We focus on verification of such properties by model checking, a formal technique originally designed for the analysis of computer systems. Examined properties are defined in terms of temporal logics allowing to describe system behaviour over time. Recently, we have developed several high-performance techniques for parameter synthesis that are based on parallel coloured model checking. In this presentation, we review the applicability of our techniques in the context of biological systems. In particular, in matter of issues such as parameters prediction, biffurcation analysis and model optimisation.
ER  -

BRIM, Luboš, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a Matej HAJNAL. Parameter Synthesis of Biological Models by Model Checking: A Case Study. In \textit{4th International Synthetic \&{} Systems Biology Summer School. SSBSS 2017}. 2017.

Podrobný výpis o publikaci