2011
Abstraction of Biochemical Reaction Systems on Polytopes
COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ et. al.Základní údaje
Originální název
Abstraction of Biochemical Reaction Systems on Polytopes
Autoři
COLLINS, Pieter (826 Velká Británie a Severní Irsko), Luc HABETS (528 Nizozemské království), Jan VAN SCHUPPEN (528 Nizozemské království), Ivana ČERNÁ (203 Česká republika, domácí), Jana FABRIKOVÁ (203 Česká republika, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí)
Vydání
Milano, Proceedings of the 18th IFAC World Congress, od s. 14869-14875, 7 s. 2011
Nakladatel
IFAC
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Kód RIV
RIV/00216224:14330/11:00052082
Organizační jednotka
Fakulta informatiky
ISBN
978-1-1234-7890-2
Klíčová slova anglicky
affine system; multi-affine system; piecewise-affine hybrid system; abstraction; polytope
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 11. 4. 2012 10:37, doc. RNDr. David Šafránek, Ph.D.
Anotace
V originále
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ávaznosti
| LA09016, projekt VaV |
|