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

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2017
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.