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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F15%3A00081134" target="_blank" >RIV/00216224:14330/15:00081134 - isvavai.cz</a>

Výsledek na webu

<a href="http://link.springer.com/chapter/10.1007/978-3-319-26916-0_4" target="_blank" >http://link.springer.com/chapter/10.1007/978-3-319-26916-0_4</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-26916-0_4" target="_blank" >10.1007/978-3-319-26916-0_4</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původní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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA15-11089S" target="_blank" >GA15-11089S: Získávání parametrů biologických modelů pomocí techniky ověřování modelů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

ISBN

9783319269153

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

17

Strana od-do

58-74

Název nakladatele

Springer International Publishing

Místo vydání

Neuveden

Místo konání akce

Madrid

Datum konání akce

1. 1. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—