Publication details

<< back
 

On Algorithmic Analysis of Biological Networks

Basic information
Original title:On Algorithmic Analysis of Biological Networks
Author:David Šafránek
Further information
Citation:ŠAFRÁNEK, David. On Algorithmic Analysis of Biological Networks. In Control and System Theory Colloquium. 2008.Export BibTeX
@misc{770103,
author = {Šafránek, David},
booktitle = {Control and System Theory Colloquium},
keywords = {bilogical networks; model checking; systems biology},
language = {eng},
title = {On Algorithmic Analysis of Biological Networks},
url = {http://homepages.cwi.nl/~schuppen/cwi/colcst2008s.html},
year = {2008}
}
Original language:English
Field:Informatics
WWW:link to a new windowInvited talk.
Type:Vyžádané přednášky
Keywords:bilogical networks; model checking; systems biology

This presentation 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:

 
 
top