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. © 2014 Elsevier Inc.

ϵ-Semantics computations on biological systems

DREOSSI, Tommaso;PIAZZA, Carla
2014

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. © 2014 Elsevier Inc.
File in questo prodotto:
File Dimensione Formato  
Informationandcomputation2014postprint.pdf

accesso aperto

Descrizione: Post Print
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 664.84 kB
Formato Adobe PDF
664.84 kB Adobe PDF Visualizza/Apri
Information_and_computation2014.pdf

non disponibili

Descrizione: Editorial Version
Tipologia: Versione Editoriale (PDF)
Licenza: Non pubblico
Dimensione 850.47 kB
Formato Adobe PDF
850.47 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11390/963552
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact