CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn this paper, we present a formalization of biological systems based on multiset rewriting and we investigate the use of abstract interpretation on its semantics. We consider a probabilistic semantics, which is well suited to represent the non-deterministic evolution of real biological systems. Abstract interpretation allows us to deal with systems in which the kinetic rates of the evolution rules are not precisely known. On the (abstract) systems, we perform probabilistic model checking obtaining lower and upper bounds for the probabilities of reaching states satisfying the given properties. We apply abstract probabilistic model checking to verify reachability properties in a model of tumor growth.
| Autori interni: | ||
| Autori: | BARBUTI R; LEVI F; MILAZZO P; SCATENA G | |
| Titolo: | Probabilistic model checking of biological systems with uncertain kinetic rates | |
| Anno del prodotto: | 2012 | |
| Digital Object Identifier (DOI): | 10.1016/j.tcs.2011.10.022 | |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/11568/188373
Copyright © 2021