COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ and David ŠAFRÁNEK. Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano: IFAC. p. 14869-14875. ISBN 978-1-1234-7890-2. 2011.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
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
Changed by Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 11/4/2012 10:37.
Abstract
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 projectName: Úč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
PrintDisplayed: 28/3/2024 12:38