Abstraction of Biochemical Reaction Systems on Polytopes
| Autoři | |
|---|---|
| Rok publikování | 2011 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of the 18th IFAC World Congress |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.ifac-papersonline.net/Detailed/52361.html |
| Obor | Informatika |
| Klíčová slova | affine system; multi-affine system; piecewise-affine hybrid system; abstraction; polytope |
| Popis | 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. |
| Související projekty: |