ϵ-Semantics computations on biological systems

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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Information and computation Ročník 236; s. 35 - 51
Hlavní autoři: Casagrande, A., Dreossi, T., Fabriková, J., Piazza, C.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 01.08.2014
Témata:
Hybrid systems
Reachability problem
ϵ-Semantics
Reachability problem
Hybrid systems
ϵ-Semantics
ISSN:0890-5401, 1090-2651
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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. ϵ-semantics were introduced in this spirit. In this paper we investigate the use of ϵ-semantics deeper, in the context of reachability analysis of hybrid automata. In particular, we focus on two ϵ-semantics and reason about their computability. We then try our approach on biological model analysis to give evidence about the effectiveness of the methodology.
ISSN:0890-5401
1090-2651
DOI:10.1016/j.ic.2014.01.011