Informační systém Masarykovy univerzity 

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

česky | in English

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, 17 s. ISBN 978-3-319-26915-3. doi:10.1007/978-3-319-26916-0_4.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
Autoři BRIM, Luboš (203 Česká republika, domácí), Martin DEMKO (703 Slovensko, domácí), Samuel PASTVA (703 Slovensko, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí).
Vydání LNCS 9271. Neuveden, Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, od s. 58-74, 17 s. 2015.
Nakladatel Springer International Publishing
Další údaje
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
WWW elektronická verze v nakladatelství Springer
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/15:00081134
Organizační jednotka Fakulta informatiky
ISBN 978-3-319-26915-3
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-319-26916-0_4
Klíčová slova anglicky bifurcation analysis; model checking; dynamical systems; formal methods
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 21:13.
Anotace
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.
Návaznosti
GA15-11089S, projekt VaVNázev: Získávání parametrů biologických modelů pomocí techniky ověřování modelů
Investor: Grantová agentura ČR, Standardní projekty
MUNI/A/1159/2014, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
MUNI/A/1206/2014, interní kód MUNázev: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU)
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 20. 9. 2017 23:45

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:45, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému