Abstract
We combine reachability analysis and probability bounds analysis, which allow for imprecisely known random variables (multivariate intervals or p-boxes) to be specified as the initial states of a dynamical system. In combination, the methods allow for the temporal evolution of p-boxes to be rigorously computed, and they give interval probabilities for formal verification problems, also called failure probability calculations in reliability analysis. The methodology places no constraints on the input probability distribution or p-box and can handle dependencies generally in the form of copulas.
| Original language | English |
|---|---|
| Title of host publication | Book of Extended Abstracts for the 32nd European Safety and Reliability Conference |
| Number of pages | 2 |
| Publisher | Research Publishing |
| Publication date | 2022 |
| Pages | 154-155 |
| Publication status | Published - 2022 |
| Event | European Conference on Safety and Reliability - TU Dublin, Dublin, Ireland Duration: 28 Aug 2022 → 1 Sept 2022 Conference number: 32 https://www.esrel2022.com/ |
Conference
| Conference | European Conference on Safety and Reliability |
|---|---|
| Number | 32 |
| Location | TU Dublin |
| Country/Territory | Ireland |
| City | Dublin |
| Period | 28/08/2022 → 01/09/2022 |
| Internet address |
Keywords
- Reachability analysis
- Probability bounds analysis
- Automatically verified computing
- Set-based methods
- p-box
- Uncertainty propagation