Abstraction of Biochemical Reaction Systems on Polytopes (2011)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/11:00052082 |
|---|---|
| Název v anglickém jazyce | Abstraction of Biochemical Reaction Systems on Polytopes |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2011 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 1 |
| Počet tvůrců celkem | 6 |
| Počet domácích tvůrců | 3 |
| Výčet všech uvedených jednotlivých tvůrců | Pieter Collins (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) Luc Habets (státní příslušnost: NL - Nizozemsko) Jan van Schuppen (státní příslušnost: NL - Nizozemsko) Ivana Černá (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2361132) Jana Fabriková (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5469031) David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
| Popis výsledku v anglické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. |
| Klíčová slova oddělená středníkem | affine system; multi-affine system; piecewise-affine hybrid system; abstraction; polytope |
| Stránka www, na které se nachází výsledek | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings of the 18th IFAC World Congress |
|---|---|
| ISBN | 978-1-1234-7890-2 |
| 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 | 2011 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2012 |
| Specifikace | RIV/00216224:14330/11:00052082!RIV12-MSM-14330___ |
| Datum poslední aktualizace výsledku | 07.05.2012 |
| Kontrolní číslo | 13243073 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LA | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009 - 2012) |
|---|