D 2013

Robustness Analysis of Stochastic Systems

BRIM, Luboš; Milan ČEŠKA; Sven DRAŽAN a David ŠAFRÁNEK

Základní údaje

Originální název

Robustness Analysis of Stochastic Systems

Autoři

Vydání

Turku, Electronic Proceedings in Theoretical Computer Science, Volume 116, od s. 33-34, 2 s. 2013

Nakladatel

Open Publishing Association

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Finsko

Utajení

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

Forma vydání

elektronická verze "online"

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/13:00067061

Organizační jednotka

Fakulta informatiky

ISSN

DOI

Klíčová slova anglicky

robustness analysis; stochastic systems
Změněno: 29. 4. 2014 16:38, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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.

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
GAP202/11/0312, projekt VaV
Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification