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

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky BioDiVinE: Nástroj pro paralelní analýzu multi-afinních ODE modelů
Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David

Rok publikování 2009
Druh Článek ve sborníku
Konference Computational Mehotds in Systems Biology: Abstract of the Posters
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova parallel model checking; ordinary differential equations; multi-affine systems
Popis Článek se zaměřuje na analýzu dynamických systémů popisujících chování biologických sítí. Biologický model je chápán ve formě multi-afinního systému diferenciálních rovnic. Spojitý stavový prostor je abstrahován prostřednictvím konečné obdélníkové abstrakce. Nad konečnou abstrakcí je prováděna analýza metodou model checking.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.