A Model Checking Approach to Discrete Bifurcation Analysis

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00088309" target="_blank" >RIV/00216224:14330/16:00088309 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-48989-6_6" target="_blank" >http://dx.doi.org/10.1007/978-3-319-48989-6_6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-48989-6_6" target="_blank" >10.1007/978-3-319-48989-6_6</a>

Result language
angličtina
Original language name
A Model Checking Approach to Discrete Bifurcation Analysis
Original language description
Bifurcation analysis is a central task of the analysis of parameterised high-dimensional dynamical systems that undergo transitions as parameters are changed. The classical numerical and analytical methods are typically limited to a small number of system parameters. In this paper we propose a novel approach to bifurcation analysis that is based on a suitable discrete abstraction of the system and employs model checking for discovering critical parameter values, referred to as bifurcation points, for which various kinds of behaviour (equilibrium, cycling) appear or disappear. To describe such behaviour patterns, called phase portraits, we use a hybrid version of a CTL logic augmented with direction formulae. We demonstrate the method on a case study taken from systems biology.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA15-11089S" target="_blank" >GA15-11089S: Parameter Discovery for Biological Models Using Model Checking</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)