Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1359653,
author = {Beneš, Nikola and Brim, Luboš and Demko, Martin and Pastva, Samuel and Šafránek, David},
address = {Neuveden},
booktitle = {Formal Methods. FM 2016},
doi = {http://dx.doi.org/10.1007/978-3-319-48989-6_6},
edition = {LNCS 9995},
editor = {John S. Fitzgerald et al.},
keywords = {model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms; bifurcation analysis},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Neuveden},
isbn = {978-3-319-48988-9},
pages = {85-101},
publisher = {Springer International Publishing},
title = {A Model Checking Approach to Discrete Bifurcation Analysis},
year = {2016}
}
TY - JOUR
ID - 1359653
AU - Beneš, Nikola - Brim, Luboš - Demko, Martin - Pastva, Samuel - Šafránek, David
PY - 2016
TI - A Model Checking Approach to Discrete Bifurcation Analysis
PB - Springer International Publishing
CY - Neuveden
SN - 9783319489889
KW - model checking
KW - satisfiability modulo theories
KW - Computational Tree Logic
KW - dynamical systems
KW - distributed algorithms
KW - bifurcation analysis
N2 - 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.
ER -
BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. A Model Checking Approach to Discrete Bifurcation Analysis. In John S. Fitzgerald et al. \textit{Formal Methods. FM 2016}. LNCS 9995. Neuveden: Springer International Publishing, 2016, s.~85-101. ISBN~978-3-319-48988-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-48989-6\_{}6.
|
