High-Performance Discrete Bifurcation Analysis for
Piecewise-Affine Dynamical Systems

D 2015

High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK

Basic information

Original name

High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

Authors

BRIM, Luboš (203 Czech Republic, belonging to the institution), Martin DEMKO (703 Slovakia, belonging to the institution), Samuel PASTVA (703 Slovakia, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution)

Edition

LNCS 9271. Neuveden, Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, p. 58-74, 17 pp. 2015

Publisher

Springer International Publishing

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

References:

elektronická verze v nakladatelství Springer

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/15:00081134

Organization unit

Faculty of Informatics

ISBN

978-3-319-26915-3

ISSN

DOI

http://dx.doi.org/10.1007/978-3-319-26916-0_4

Keywords in English

bifurcation analysis; model checking; dynamical systems; formal methods

Abstract

V originále

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.

Links

GA15-11089S, research and development project

Name: Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Investor: Czech Science Foundation

MUNI/A/1159/2014, interní kód MU

Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.

Investor: Masaryk University, Category A

MUNI/A/1206/2014, interní kód MU

Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Acronym: SKOMU)

Investor: Masaryk University, Category A

Citovat

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.

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

Detailed Information on Publication Record