Abstraction of Biochemical Reaction Systems on Polytopes

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

COLLINS Pieter HABETS Luc VAN SCHUPPEN Jan ČERNÁ Ivana FABRIKOVÁ Jana ŠAFRÁNEK David

Rok publikování 2011
Druh Článek ve sborníku
Konference Proceedings of the 18th IFAC World Congress
Fakulta / Pracoviště MU

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info