Epsilon-Semantics computations on biological systems

J 2014

Epsilon-Semantics computations on biological systems

CASAGRANDE, Alberto, Tommaso DREOSSI, Jana FABRIKOVÁ and Carla PIAZZA

Basic information

Original name

Epsilon-Semantics computations on biological systems

Authors

CASAGRANDE, Alberto (380 Italy), Tommaso DREOSSI (380 Italy), Jana FABRIKOVÁ (203 Czech Republic, belonging to the institution) and Carla PIAZZA (380 Italy, guarantor)

Edition

Information and computation, Academic Press, 2014, 0890-5401

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

URL

Impact factor

Impact factor: 0.830

RIV identification code

RIV/00216224:14330/14:00075302

Organization unit

Faculty of Informatics

DOI

http://dx.doi.org/10.1016/j.ic.2014.01.011

UT WoS

000337655300004

Keywords in English

Hybrid systems; Epsilon-Semantics; Reachability problem

Změněno: 27/4/2015 03:29, RNDr. Pavel Šmerk, Ph.D.

Abstract

V originále

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.

Links

EE2.3.20.0256, research and development project

Name: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice

Citovat

CASAGRANDE, Alberto, Tommaso DREOSSI, Jana FABRIKOVÁ and Carla PIAZZA. Epsilon-Semantics computations on biological systems. Information and computation. Academic Press, 2014, vol. 236, No 1, p. 35-51. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2014.01.011.

@article{1179484,
   author = {Casagrande, Alberto and Dreossi, Tommaso and Fabriková, Jana and Piazza, Carla},
   article_number = {1},
   doi = {http://dx.doi.org/10.1016/j.ic.2014.01.011},
   keywords = {Hybrid systems; Epsilon-Semantics; Reachability problem},
   language = {eng},
   issn = {0890-5401},
   journal = {Information and computation},
   title = {Epsilon-Semantics computations on biological systems},
   url = {http://www.sciencedirect.com/science/article/pii/S0890540114000121},
   volume = {236},
   year = {2014}
}

TY  - JOUR
ID  - 1179484
AU  - Casagrande, Alberto - Dreossi, Tommaso - Fabriková, Jana - Piazza, Carla
PY  - 2014
TI  - Epsilon-Semantics computations on biological systems
JF  - Information and computation
VL  - 236
IS  - 1
SP  - 35-51
EP  - 35-51
PB  - Academic Press
SN  - 08905401
KW  - Hybrid systems
KW  - Epsilon-Semantics
KW  - Reachability problem
UR  - http://www.sciencedirect.com/science/article/pii/S0890540114000121
L2  - http://www.sciencedirect.com/science/article/pii/S0890540114000121
N2  - 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.
ER  -

CASAGRANDE, Alberto, Tommaso DREOSSI, Jana FABRIKOVÁ and Carla PIAZZA. Epsilon-Semantics computations on biological systems. \textit{Information and computation}. Academic Press, 2014, vol.~236, No~1, p.~35-51. ISSN~0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2014.01.011.

Detailed Information on Publication Record