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

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2017
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Informatics

Citation
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.