Quantitative model refinement for guarded command models

    Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer 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.

    Titel på gästpublikationMultidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday
    RedaktörerMarian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
    ISBN (tryckt)978-606-8401-63-8
    StatusPublicerad - 2015
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Citera det här