Model Checking of Biological Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00070437" target="_blank" >RIV/00216224:14330/13:00070437 - isvavai.cz</a>
Result on the web
<a href="http://talks.ox.ac.uk/talk/index/13917" target="_blank" >http://talks.ox.ac.uk/talk/index/13917</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Model Checking of Biological Systems
Original language description
The goal of computational systems biology is to develop models that can predict and explain uknown facts about the dynamics of biological systems, especially, non-trivial behaviour emerging from the interplay among the enormous number of individual biochemical components. The models are based on known first principles, wet-lab measurements, and existing hypotheses available in literature. A lot of information remains unknown, e.g., quantitative parameters such as rates of individual biochemical events.All the known or expected biological facts can be formalized in temporal logics. Model checking techniques known from formal verification can be then used to explore models with respect to a given set of temporal properties (dynamical constraints). The space of uncertainty in models can be then restricted by means of these constraints. This gives the modellers a powerful alternative to traditional parameter fitting methods.
Czech name
—
Czech description
—

Project
<a href="/en/project/EE2.3.20.0256" target="_blank" >EE2.3.20.0256: Local team and international consortium for computational modelling of a cyanobacterial cell</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

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

Similar results(10)