| Identifikační kód | RIV/00216224:14330/15:00081134 |
|---|
| Název v anglickém jazyce | High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2015 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 4 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773)
Martin Demko (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 8383987)
Samuel Pastva (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A)
David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
|---|
| Popis výsledku v anglickém jazyce | 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-corecomputers to allow scalability. We demonstrate the method on a repressilator genetic regulatory network. |
|---|
| Klíčová slova oddělená středníkem | bifurcation analysis; model checking; dynamical systems; formal methods |
|---|
| Stránka www, na které se nachází výsledek | http://link.springer.com/chapter/10.1007/978-3-319-26916-0_4 |
|---|
| DOI výsledku | 10.1007/978-3-319-26916-0_4 |
|---|