Informační systém Masarykovy univerzity 

Abstraction of Biochemical Reaction Systems on Polytopes

česky | in English

COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ a David ŠAFRÁNEK. Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano: IFAC, 2011. s. 14869-14875, 7 s. ISBN 978-1-1234-7890-2.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Abstraction of Biochemical Reaction Systems on Polytopes
Autoři COLLINS, Pieter (826 Spojené království), Luc HABETS (528 Nizozemsko), Jan VAN SCHUPPEN (528 Nizozemsko), 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
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
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ěnil Změnil: RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 11. 4. 2012 10:37.
Anotace
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 VaVNázev: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, INGO (jen po projekty s počátkem řešení v roce 2010)
VytisknoutZobrazeno: 19. 11. 2017 06:02

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 19. 11. 2017 06:02, 46. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému