Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks

ČEŠKA, Milan a Jan KŘETÍNSKÝ. Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. In Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Springer, 2019, s. 475-496. ISBN 9783030255398. Dostupné z: https://doi.org/10.1007/978-3-030-25540-4_28.

Základní údaje

Originální název

Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks

Autoři

ČEŠKA, Milan a Jan KŘETÍNSKÝ

Vydání

Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, od s. 475-496, 22 s. 2019

Nakladatel

Springer

---

Další údaje

Typ výsledku

Stať ve sborníku

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

ISBN

9783030255398

ISSN

DOI

https://doi.org/10.1007/978-3-030-25540-4_28

---

Anotace

V originále

Analysis of large continuous-time stochastic systems is a computationally intensive task. In this work we focus on population models arising from chemical reaction networks (CRNs), which play a fundamental role in analysis and design of biochemical systems. Many relevant CRNs are particularly challenging for existing techniques due to complex dynamics including stochasticity, stiffness or multimodal population distributions. We propose a novel approach allowing not only to predict, but also to explain both the transient and steady-state behaviour. It focuses on qualitative description of the behaviour and aims at quantitative precision only in orders of magnitude. First we build a compact understandable model, which we then crudely analyse. As demonstrated on complex CRNs from literature, our approach reproduces the known results, but in contrast to the state-of-the-art methods, it runs with virtually no computational cost and thus offers unprecedented scalability.