Quantitative model refinement for guarded command models (bibtex)
by Azimi, Sepinoud and Petre, Ion
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.
Reference:
Quantitative model refinement for guarded command models (Azimi, Sepinoud and Petre, Ion), Chapter in (Marian Gheorghe, Ion Petre, Mario J. Perez-Jimenez, Grzegorz Rozenberg, Arto Salomaa, ed.), Spandugino, 2015.
Bibtex Entry:
@InBook{c742,
  pages     = {196–206},
  title     = {Quantitative model refinement for guarded command models},
  publisher = {Spandugino},
  year      = {2015},
  author    = {Azimi, Sepinoud AND Petre, Ion},
  editor    = {Marian Gheorghe, Ion Petre, Mario J. Perez-Jimenez, Grzegorz Rozenberg, Arto Salomaa},
  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.},
  booktitle = {Multidisciplinary Creativity},
}
Powered by bibtexbrowser