| BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. In Alessandro Abate, David Šafránek. Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. LNCS 9271. Neuveden: Springer International Publishing, 2015, p. 58-74. ISBN 978-3-319-26915-3. Available from: https://dx.doi.org/10.1007/978-3-319-26916-0_4. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1314354,
author = {Brim, Luboš and Demko, Martin and Pastva, Samuel and Šafránek, David},
address = {Neuveden},
booktitle = {Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
doi = {http://dx.doi.org/10.1007/978-3-319-26916-0_4},
edition = {LNCS 9271},
editor = {Alessandro Abate, David Šafránek},
keywords = {bifurcation analysis; model checking; dynamical systems; formal methods},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Neuveden},
isbn = {978-3-319-26915-3},
pages = {58-74},
publisher = {Springer International Publishing},
title = {High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems},
url = {http://link.springer.com/chapter/10.1007/978-3-319-26916-0_4},
year = {2015}
}
TY - JOUR
ID - 1314354
AU - Brim, Luboš - Demko, Martin - Pastva, Samuel - Šafránek, David
PY - 2015
TI - High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
PB - Springer International Publishing
CY - Neuveden
SN - 9783319269153
KW - bifurcation analysis
KW - model checking
KW - dynamical systems
KW - formal methods
UR - http://link.springer.com/chapter/10.1007/978-3-319-26916-0_4
L2 - http://link.springer.com/chapter/10.1007/978-3-319-26916-0_4
N2 - Analysis of equilibria, their stability and instability, is an unavoidable ingredient of model analysis in systems biology. In particular, bifurcation analysis which focuses on behaviour of phase portraits under variations of parameters is of great importance. We propose a novel method for bifurcation analysis that employs coloured model checking to analyse phase portraits bifurcation in rectangular abstractions of piecewise-affine systems. The algorithm works on clusters of workstations and multi-core computers to allow scalability. We demonstrate the method on a repressilator genetic regulatory network.
ER -
BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. In Alessandro Abate, David Šafránek. \textit{Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers}. LNCS 9271. Neuveden: Springer International Publishing, 2015, p.~58-74. ISBN~978-3-319-26915-3. Available from: https://dx.doi.org/10.1007/978-3-319-26916-0\_{}4.
|
