Publication details
Abstraction of Biochemical Reaction Systems on Polytopes
| Basic information | |
|---|---|
| Original title: | Abstraction of Biochemical Reaction Systems on Polytopes |
| Authors: | Pieter Collins, Luc Habets, Jan van Schuppen, Ivana Černá, Jana Fabriková, David Šafránek |
| Further information | |
|---|---|
| Citation: | COLLINS, Pieter  - HABETS, Luc - VAN SCHUPPEN, Jan - ČERNÁ, Ivana - FABRIKOVÁ, Jana - ŠAFRÁNEK, David. Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano : IFAC, 2011. ISBN 978-1-1234-7890-2, pp. 14869-14875. 2011, Milano. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://www.ifac-papersonline.net/Detailed/52361.html |
| Type: | Article in Proceedings |
| Keywords: | affine system; multi-affine system; piecewise-affine hybrid system; abstraction; polytope |
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.
Related projects:
