D 2013

Robustness Analysis of Stochastic Systems

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

Basic information

Original name

Robustness Analysis of Stochastic Systems

Authors

BRIM, Luboš (203 Czech Republic, belonging to the institution), Milan ČEŠKA (203 Czech Republic, belonging to the institution), Sven DRAŽAN (203 Czech Republic, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution)

Edition

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

Publisher

Open Publishing Association

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Finland

Confidentiality degree

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

Publication form

electronic version available online

References:

RIV identification code

RIV/00216224:14330/13:00067061

Organization unit

Faculty of Informatics

ISSN

DOI

Keywords in English

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

Abstract

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.

Links

EE2.3.20.0256, research and development project
Name: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice
GAP202/11/0312, research and development project
Name: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Acronym: Components in Embedded Systems)
Investor: Czech Science Foundation