An excursion through quantitative model refinement

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
Editors: Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron
Publication year: 2015
Publisher: Springer
Book title: Membrane Computing
Title of series: Lecture notes in computer science
Number in series: 9504
Start page: 25
End page: 47
ISBN: 978-3-319-28474-3
eISBN: 978-3-319-28475-0
ISSN: 0302-9743


Abstract

There is growing interest in creating large-scale computational models for biological process. One of the challenges in such a project is to fit and validate larger and larger models, a process that requires more high-quality experimental data and more computational effort as the size of the model grows. Quantitative model refinement is a recently proposed model construction technique addressing this challenge. It proposes to create a model in an iterative fashion by adding details to its species, and to fix the numerical setup in a way that guarantees to preserve the fit and validation of the model. In this survey we make an excursion through quantitative model refinement – this includes introducing the concept of quantitative model refinement for reaction-based models, for rule-based models, for Petri nets and for guarded command language models, and to illustrate it on three case studies (the heat shock response, the ErbB signaling pathway, and the self-assembly of intermediate filaments).

Last updated on 2019-23-09 at 05:11