Quantitative model refinement for guarded command models

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review


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.

Original languageUndefined/Unknown
Title of host publicationMultidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday
EditorsMarian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
ISBN (Print)978-606-8401-63-8
Publication statusPublished - 2015
MoE publication typeA3 Part of a book or another research book

Cite this