Robustness Analysis of Stochastic Systems (2013)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/13:00067061 |
|---|---|
| Název v anglickém jazyce | Robustness Analysis of Stochastic Systems |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| 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 | 2 |
| Počet tvůrců celkem | 4 |
| Počet domácích tvůrců | 4 |
| Výčet všech uvedených jednotlivých tvůrců | Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773) Milan Češka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1846000) Sven Dražan (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3111342) David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
| Popis výsledku v anglickém jazyce | By using a modified version of uniformization we have proposed a method to compute the upper and lower bounds of property validity over continuous parameter spaces. The main idea is to compute for each model state its probability as an upper and lower bound instead of a single number. |
| Klíčová slova oddělená středníkem | robustness analysis; stochastic systems |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.4204/EPTCS.116.5 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Electronic Proceedings in Theoretical Computer Science, Volume 116 |
|---|---|
| ISBN | - |
| ISSN | 2075-2180 |
| Počet stran výsledku | 2 |
| Strana od-do | 33-34 |
| Název nakladatele | Open Publishing Association |
| Místo vydání | Turku |
| Místo konání akce | Turku |
| Datum konání akce | 2013 |
| Typ akce podle státní příslušnosti účastníků | CST - Celostátní |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2014 |
| Specifikace | RIV/00216224:14330/13:00067061!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56541177 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2014 | RIV/00216224:14330/13:00067061 v dodávce dat RIV14-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu EE | EE2.3.20.0256 - Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice (2012 - 2015) |
|---|---|
| Projekt podporovaný GA ČR v programu GA | GAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011 - 2013) |