Model Checking Approach to the Analysis of Biological Systems

C 2019

Model Checking Approach to the Analysis of Biological Systems

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK

Základní údaje

Originální název

Model Checking Approach to the Analysis of Biological Systems

Autoři

BENEŠ, Nikola (203 Česká republika, garant, domácí), Luboš BRIM (203 Česká republika, domácí), Samuel PASTVA (703 Slovensko, domácí) a David ŠAFRÁNEK (203 Česká republika, domácí)

Vydání

Cham, Automated Reasoning for Systems Biology and Medicine, od s. 3-35, 33 s. Computational Biology, 2019

Nakladatel

Springer, Cham

Další údaje

Jazyk

angličtina

Typ výsledku

Kapitola resp. kapitoly v odborné knize

Obor

10600 1.6 Biological sciences

Utajení

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

Forma vydání

elektronická verze "online"

Kód RIV

RIV/00216224:14330/19:00107592

Organizační jednotka

Fakulta informatiky

ISBN

978-3-030-17296-1

DOI

http://dx.doi.org/10.1007/978-3-030-17297-8_1

UT WoS

000503198000001

Klíčová slova anglicky

systems biology; model checking

Štítky

topvydavatel

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 15. 4. 2021 12:14, doc. RNDr. David Šafránek, Ph.D.

Anotace

V originále

Formal verification techniques together with other computer science formal methods have been recently tailored for applications to biological and biomedical systems. In contrast to traditional simulation-based approaches, model checking opens an entirely novel way of viewing and analysing the dynamics of such systems. In particular, it can help in system identification and parameter synthesis, in comparison of models with respect to a priori given desired properties, in robustness analysis of systems, in relating models to experimental data, or in globally analysing the bifurcations of systems behaviour with respect to changes in parameters. In this review, we briefly describe the state-of-the-art methods and techniques employing model checking, as one of the most prominent verification techniques, to the analysis of biomedical systems. We demonstrate some of the advantages of using the model checking method by presenting a brief account of the technique itself followed by examples of the application of formal methods based on model checking to three areas related to the analysis of biomedical systems: verification of biological hypotheses, parameters synthesis, and bifurcation analysis. Finally, we discuss several case studies that show how fruitfully the methods can be utilised within the computational systems biology and biomedicine domain.

Návaznosti

GA18-00178S, projekt VaV

Název: Diskrétní bifurkační analýza reaktivních systémů

Investor: Grantová agentura ČR, Diskrétní bifurkační analýza reaktivních systémů

MUNI/A/1018/2018, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Model Checking Approach to the Analysis of Biological Systems. Online. In Pietro Liò, Paolo Zuliani. Automated Reasoning for Systems Biology and Medicine. Cham: Springer, Cham, 2019, s. 3-35. Computational Biology. ISBN 978-3-030-17296-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17297-8_1.

@inbook{1550299,
   author = {Beneš, Nikola and Brim, Luboš and Pastva, Samuel and Šafránek, David},
   address = {Cham},
   booktitle = {Automated Reasoning for Systems Biology and Medicine},
   doi = {http://dx.doi.org/10.1007/978-3-030-17297-8_1},
   editor = {Pietro Liò, Paolo Zuliani},
   keywords = {systems biology; model checking},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-17296-1},
   pages = {3-35},
   publisher = {Springer, Cham},
   title = {Model Checking Approach to the Analysis of Biological Systems},
   year = {2019}
}

TY  - CHAP
ID  - 1550299
AU  - Beneš, Nikola - Brim, Luboš - Pastva, Samuel - Šafránek, David
PY  - 2019
TI  - Model Checking Approach to the Analysis of Biological Systems
VL  - Computational Biology
PB  - Springer, Cham
CY  - Cham
SN  - 9783030172961
KW  - systems biology
KW  - model checking
N2  - Formal verification techniques together with other computer science formal methods have been recently tailored for applications to biological and biomedical systems. In contrast to traditional simulation-based approaches, model checking opens an entirely novel way of viewing and analysing the dynamics of such systems. In particular, it can help in system identification and parameter synthesis, in comparison of models with respect to a priori given desired properties, in robustness analysis of systems, in relating models to experimental data, or in globally analysing the bifurcations of systems behaviour with respect to changes in parameters. In this review, we briefly describe the state-of-the-art methods and techniques employing model checking, as one of the most prominent verification techniques, to the analysis of biomedical systems. We demonstrate some of the advantages of using the model checking method by presenting a brief account of the technique itself followed by examples of the application of formal methods based on model checking to three areas related to the analysis of biomedical systems: verification of biological hypotheses, parameters synthesis, and bifurcation analysis. Finally, we discuss several case studies that show how fruitfully the methods can be utilised within the computational systems biology and biomedicine domain.
ER  -

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Model Checking Approach to the Analysis of Biological Systems. Online. In Pietro Liò, Paolo Zuliani. \textit{Automated Reasoning for Systems Biology and Medicine}. Cham: Springer, Cham, 2019, s.~3-35. Computational Biology. ISBN~978-3-030-17296-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17297-8\_{}1.

Podrobný výpis o publikaci