Parameter Identification in Biochemical Dynamical Systems: The Model Checking Approach
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Parameter Identification in Biochemical Dynamical Systems: The Model Checking Approach
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů