Robustness Analysis of Stochastic Systems

• 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
• 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