| Identifikační kód | RIV/00216224:14330/14:00075302 |
|---|
| Název v anglickém jazyce | Epsilon-Semantics computations on biological systems |
|---|
| Druh | J - Článek v odborném periodiku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2014 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Alberto Casagrande (státní příslušnost: IT - Italská republika)
Tommaso Dreossi (státní příslušnost: IT - Italská republika)
Jana Fabriková (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5469031)
Carla Piazza (státní příslušnost: IT - Italská republika) |
|---|
| Popis výsledku v anglickém jazyce | 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 boundedspatial 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. |
|---|
| Klíčová slova oddělená středníkem | Hybrid systems; Epsilon-Semantics; Reachability problem |
|---|
| Stránka www, na které se nachází výsledek | http://www.sciencedirect.com/science/article/pii/S0890540114000121 |
|---|
| DOI výsledku | 10.1016/j.ic.2014.01.011 |
|---|