Robustness Analysis of Stochastic Systems
| Authors | |
|---|---|
| Year of publication | 2013 |
| Type | Article in Proceedings |
| Conference | Electronic Proceedings in Theoretical Computer Science, Volume 116 |
| MU Faculty or unit | |
| Citation | |
| Web | http://arxiv.org/html/1306.2019v1/#EPTCS116.5 |
| Doi | http://dx.doi.org/10.4204/EPTCS.116.5 |
| Field | Informatics |
| Keywords | robustness analysis; stochastic systems |
| Description | 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. |
| Related projects: |