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.
ϵ-Semantics computations on biological systems
CASAGRANDE, ALBERTO;
2014-01-01
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
main.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Digital Rights Management non definito
Dimensione
423.46 kB
Formato
Adobe PDF
|
423.46 kB | Adobe PDF | Visualizza/Apri |
I&C2014.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Digital Rights Management non definito
Dimensione
850.47 kB
Formato
Adobe PDF
|
850.47 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.