Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{933271,
author = {Collins, Pieter and Habets, Luc and van Schuppen, Jan and Černá, Ivana and Fabriková, Jana and Šafránek, David},
address = {Milano},
booktitle = {Proceedings of the 18th IFAC World Congress},
keywords = {affine system; multi-affine system; piecewise-affine hybrid system; abstraction; polytope},
language = {eng},
location = {Milano},
isbn = {978-1-1234-7890-2},
pages = {14869-14875},
publisher = {IFAC},
title = {Abstraction of Biochemical Reaction Systems on Polytopes},
url = {http://www.ifac-papersonline.net/Detailed/52361.html},
year = {2011}
}
TY - JOUR
ID - 933271
AU - Collins, Pieter - Habets, Luc - van Schuppen, Jan - Černá, Ivana - Fabriková, Jana - Šafránek, David
PY - 2011
TI - Abstraction of Biochemical Reaction Systems on Polytopes
PB - IFAC
CY - Milano
SN - 9781123478902
KW - affine system
KW - multi-affine system
KW - piecewise-affine hybrid system
KW - abstraction
KW - polytope
UR - http://www.ifac-papersonline.net/Detailed/52361.html
N2 - 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.
ER -
COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ a David ŠAFRÁNEK. Abstraction of Biochemical Reaction Systems on Polytopes. In \textit{Proceedings of the 18th IFAC World Congress}. Milano: IFAC, 2011, s.~14869-14875. ISBN~978-1-1234-7890-2.
|
