Informace o publikaci

Epsilon-Semantics computations on biological systems

Autoři

CASAGRANDE Alberto DREOSSI Tommaso FABRIKOVÁ Jana PIAZZA Carla

Rok publikování 2014
Druh Článek v odborném periodiku
Časopis / Zdroj Information and computation
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.sciencedirect.com/science/article/pii/S0890540114000121
Doi http://dx.doi.org/10.1016/j.ic.2014.01.011
Obor Informatika
Klíčová slova Hybrid systems; Epsilon-Semantics; Reachability problem
Popis The assumption of being able to perform infinite precision measurements does not only lead to undecidability, but it also introduces artifacts in the mathematical models that do not correspond to observable behaviours of systems under study. When bounded spatial regions are involved, such issues can be avoided if arbitrarily small sets of points are not definable in the mathematical setting. epsilon-semantics were introduced in this spirit. In this paper we investigate the use of epsilon-semantics deeper, in the context of reachability analysis of hybrid automata. In particular, we focus on two epsilon-semantics and reason about their computability. We then try our approach on biological model analysis to give evidence about the effectiveness of the methodology.
Související projekty: