| BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK a David ŠAFRÁNEK. BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In Computational Mehotds in Systems Biology: Abstract of the Posters. Pisa: University of Pisa, 2009, s. 1-5, 4 s. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{843066,
author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana and Dražan, Sven and Fabriková, Jana and Láník, Jan and Šafránek, David},
address = {Pisa},
booktitle = {Computational Mehotds in Systems Biology: Abstract of the Posters},
keywords = {parallel model checking; ordinary differential equations; multi-affine systems},
language = {eng},
location = {Pisa},
pages = {1-5},
publisher = {University of Pisa},
title = {BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models},
year = {2009}
}
TY - JOUR
ID - 843066
AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Dražan, Sven - Fabriková, Jana - Láník, Jan - Šafránek, David
PY - 2009
TI - BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
PB - University of Pisa
CY - Pisa
KW - parallel model checking
KW - ordinary differential equations
KW - multi-affine systems
N2 - This work focuses on analysis of dynamic systems describing functionality of biological networks. In particular, the biological model is considered as a system of multi-affine ODEs. The continuous state space of the dynamic system is abstracted into a finite automaton by employing the rectangular abstraction method. The analysis is performed on abstracted models. In particular, the state space reachable from given initial conditions (initial concentration of species) is automatically generated and analysed.
ER -
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK a David ŠAFRÁNEK. BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In \textit{Computational Mehotds in Systems Biology: Abstract of the Posters}. Pisa: University of Pisa, 2009, s.~1-5, 4 s.
|
