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.
|