BRIM, Luboš, Martin DEMKO, Samuel PASTVA a 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, s. 58-74. ISBN 978-3-319-26915-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-26916-0_4. |
Další formáty:
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 a 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, s.~58-74. ISBN~978-3-319-26915-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-26916-0\_{}4.
|