• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Quantitative Model Refinement for Guarded Command Models

Sepinoud Azimi, Ion Petre, Quantitative Model Refinement for Guarded Command Models. In: Marian Gheorghe, Ion Petre, Mario J. Perez-Jimenez, Grzegorz Rozenberg, Arto Salomaa (Eds.), Multidisciplinary Creativity, 196–206, Spandugino, 2015.

Abstract:

We consider in this paper the modeling of biological systems
with guarded command models. We focus on the model refinement problem: to systematically add details to the variables of a model and thus, to dynamically specify a model at different levels of detail. We introduce a notion of refinement for guarded command models and prove that it is a natural extension of the model refinement concept for reaction-based models. We demonstrate these concepts with a a running example on the
heat shock response.

Files:

Full publication in PDF-format

BibTeX entry:

@INBOOK{cAzPe15a,
  title = {Quantitative Model Refinement for Guarded Command Models},
  booktitle = {Multidisciplinary Creativity},
  author = {Azimi, Sepinoud and Petre, Ion},
  editor = {Gheorghe, Marian and Petre, Ion and Perez-Jimenez, Mario J. and Rozenberg, Grzegorz and Salomaa, Arto},
  publisher = {Spandugino},
  pages = {196–206},
  year = {2015},
}

Belongs to TUCS Research Unit(s): Computational Biomodeling Laboratory (Combio Lab)

Edit publication