Epsilon-Semantics computations on biological systems

J 2014

Epsilon-Semantics computations on biological systems

CASAGRANDE, Alberto; Tommaso DREOSSI; Jana FABRIKOVÁ a Carla PIAZZA

Základní údaje

Originální název

Epsilon-Semantics computations on biological systems

Autoři

CASAGRANDE, Alberto (380 Itálie); Tommaso DREOSSI (380 Itálie); Jana FABRIKOVÁ (203 Česká republika, domácí) a Carla PIAZZA (380 Itálie, garant)

Vydání

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

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

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

Odkazy

URL

Impakt faktor

Impact factor: 0.830

Kód RIV

RIV/00216224:14330/14:00075302

Organizační jednotka

Fakulta informatiky

DOI

https://doi.org/10.1016/j.ic.2014.01.011

UT WoS

000337655300004

EID Scopus

2-s2.0-84902253554

Klíčová slova anglicky

Hybrid systems; Epsilon-Semantics; Reachability problem

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

Anotace

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.

Návaznosti

EE2.3.20.0256, projekt VaV

Název: 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Á a Carla PIAZZA. Epsilon-Semantics computations on biological systems. Information and computation. Academic Press, 2014, roč. 236, č. 1, s. 35-51. ISSN 0890-5401. Dostupné z: https://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 = {https://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Á a Carla PIAZZA. Epsilon-Semantics computations on biological systems. \textit{Information and computation}. Academic Press, 2014, roč.~236, č.~1, s.~35-51. ISSN~0890-5401. Dostupné z: https://doi.org/10.1016/j.ic.2014.01.011.

Přehled o publikaci