Quantitative model refinement for guarded command models

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaLukuTieteellinenvertaisarvioitu

    Abstrakti

    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.

    AlkuperäiskieliEi tiedossa
    OtsikkoMultidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday
    ToimittajatMarian Gheorghe, Ion Petre, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
    KustantajaSpandugino
    Sivut196–206
    ISBN (painettu)978-606-8401-63-8
    TilaJulkaistu - 2015
    OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

    Viittausmuodot