CASAGRANDE, Alberto, Tommaso DREOSSI, Jana FABRIKOVÁ a Carla PIAZZA. Epsilon-Semantics computations on biological systems. Information and computation. Academic Press, roč. 236, č. 1, s. 35-51. ISSN 0890-5401. doi:10.1016/j.ic.2014.01.011. 2014.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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í
WWW URL
Impakt faktor Impact factor: 0.830
Kód RIV RIV/00216224:14330/14:00075302
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.1016/j.ic.2014.01.011
UT WoS 000337655300004
Klíčová slova anglicky Hybrid systems; Epsilon-Semantics; Reachability problem
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 03:29.
Anotace
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 VaVNázev: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice
VytisknoutZobrazeno: 16. 4. 2024 13:50