D 2011

Abstraction of Biochemical Reaction Systems on Polytopes

COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ et. al.

Basic information

Original name

Abstraction of Biochemical Reaction Systems on Polytopes

Authors

COLLINS, Pieter (826 United Kingdom of Great Britain and Northern Ireland), Luc HABETS (528 Netherlands), Jan VAN SCHUPPEN (528 Netherlands), Ivana ČERNÁ (203 Czech Republic, belonging to the institution), Jana FABRIKOVÁ (203 Czech Republic, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution)

Edition

Milano, Proceedings of the 18th IFAC World Congress, p. 14869-14875, 7 pp. 2011

Publisher

IFAC

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

RIV identification code

RIV/00216224:14330/11:00052082

Organization unit

Faculty of Informatics

ISBN

978-1-1234-7890-2

Keywords in English

affine system; multi-affine system; piecewise-affine hybrid system; abstraction; polytope

Tags

International impact, Reviewed
Změněno: 11/4/2012 10:37, doc. RNDr. David Šafránek, Ph.D.

Abstract

V originále

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.

Links

LA09016, research and development project
Name: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Acronym: ERCIM)
Investor: Ministry of Education, Youth and Sports of the CR, Czech Republic membership in the European Research Consortium for Informatics and Mathematics