Robustness Analysis of Stochastic Systems

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David
Rok publikování	2013
Druh	Článek ve sborníku
Konference	Electronic Proceedings in Theoretical Computer Science, Volume 116
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://arxiv.org/html/1306.2019v1/#EPTCS116.5
Doi	http://dx.doi.org/10.4204/EPTCS.116.5
Obor	Informatika
Klíčová slova	robustness analysis; stochastic systems
Popis	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.
Související projekty:	Software Components in Embedded Systems: Development and Verification Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice