Quantitative model refinement for guarded command models

Sepinoud Azimi Rashti, Ion Petre

    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