BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David
Year of publication	2009
Type	Article in Proceedings
Conference	Computational Mehotds in Systems Biology: Abstract of the Posters
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	parallel model checking; ordinary differential equations; multi-affine systems
Description	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.
Related projects:	Techniques for automatic verification and validation of software nad hardware systems Highly Parallel and Distributed Computing Systems