Abstraction of Biochemical Reaction Systems on Polytopes
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F11%3A00052082" target="_blank" >RIV/00216224:14330/11:00052082 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Abstraction of Biochemical Reaction Systems on Polytopes
Popis výsledku v původním jazyce
Analysis of the dynamic behavior of large-scale biochemical reaction systems can be facilitated by abstraction followed by model checking. A biochemical reaction system can be approximated by a multi-affine system or an affine system on a rectangle. Either of these systems can be abstracted to an automaton. Model checking can then be employed to determine whether the dynamic behavior of the automaton satisfies specific properties. A relation between the system and its abstraction is proved; it is an over-approximation: any discrete state trajectory of the abstraction of the continuous state trajectory is contained in the automaton but the automaton may contain more behavior.
Název v anglickém jazyce
Abstraction of Biochemical Reaction Systems on Polytopes
Popis výsledku anglicky
Analysis of the dynamic behavior of large-scale biochemical reaction systems can be facilitated by abstraction followed by model checking. A biochemical reaction system can be approximated by a multi-affine system or an affine system on a rectangle. Either of these systems can be abstracted to an automaton. Model checking can then be employed to determine whether the dynamic behavior of the automaton satisfies specific properties. A relation between the system and its abstraction is proved; it is an over-approximation: any discrete state trajectory of the abstraction of the continuous state trajectory is contained in the automaton but the automaton may contain more behavior.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/LA09016" target="_blank" >LA09016: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2011
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 18th IFAC World Congress
ISBN
978-1-1234-7890-2
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
14869-14875
Název nakladatele
IFAC
Místo vydání
Milano
Místo konání akce
Milano
Datum konání akce
1. 1. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—