Parameter Identification in Biochemical Dynamical Systems: The Model Checking Approach

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00060469" target="_blank" >RIV/00216224:14330/12:00060469 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Parameter Identification in Biochemical Dynamical Systems: The Model Checking Approach

Popis výsledku v původním jazyce

Kinetic models reconstructing dynamics of biological processes, modeled at several levels of abstraction starting with purely qualitative discrete models and ending with quantitative deterministic or even stochastic ones, provide the corner-stone tool insystems biology. A very important issue is that of parameter uncertainty. Parameters appear in dynamical models of all kinds. Examples are kinetic rate coefficients driving the dynamics of quantitative models or kinetic logic parameters which set the dynamics of discrete models. In all cases, it is difficult to find robust parametrizations of models. Additionally to experimental data, known static and dynamic constraints significantly limit the possible model behaviour and help in searching for good and realistic parametrizations. In this talk we will present an approach to parameter identification based on model checking. Emphasis will be given to efficient and automatable methods.

Název v anglickém jazyce

Parameter Identification in Biochemical Dynamical Systems: The Model Checking Approach

Popis výsledku anglicky

Kinetic models reconstructing dynamics of biological processes, modeled at several levels of abstraction starting with purely qualitative discrete models and ending with quantitative deterministic or even stochastic ones, provide the corner-stone tool insystems biology. A very important issue is that of parameter uncertainty. Parameters appear in dynamical models of all kinds. Examples are kinetic rate coefficients driving the dynamics of quantitative models or kinetic logic parameters which set the dynamics of discrete models. In all cases, it is difficult to find robust parametrizations of models. Additionally to experimental data, known static and dynamic constraints significantly limit the possible model behaviour and help in searching for good and realistic parametrizations. In this talk we will present an approach to parameter identification based on model checking. Emphasis will be given to efficient and automatable methods.

Druh

O - Ostatní výsledky

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

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