Sound Over-Approximation of Probabilities
  • Metaadatok
Tartalom: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4041
Archívum: Acta Cybernetica
Gyűjtemény: Uncertainty Modeling, Software, Verified Computing and Optimization
Cím:
Sound Over-Approximation of Probabilities
Létrehozó:
Moggi, Eugenio
Taha, Walid
Thunberg, Johan
Kiadó:
University of Szeged, Institute of Informatics
Dátum:
2020-03-16
Téma:
probabilities
approximation
intervals
monads
Tartalmi leírás:
Safety analysis of high confidence systems requires guaranteed bounds on the probability of events of interest. Establishing the correctness of algorithms that compute such bounds is challenging. We address this problem in three steps. First, we use monadic transition systems (MTS) in the category of sets as a general framework for modeling discrete time systems. MTS can capture different types of system behaviors, but here we focus on a combination of non-deterministic and probabilistic behaviors that arises often when modeling complex systems. Second, we use the category of posets and monotonic maps as general setting to define and compare approximations. In particular, for the MTS of interest, we consider approximations of their configurations based on complete lattices of interval probabilities. Third, we obtain an algorithm that computes over-approximations of system configurations after a finite number of steps, by restricting to finite lattices.
Nyelv:
angol
Típus:
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Formátum:
application/pdf
Azonosító:
10.14232/actacyb.24.3.2020.2
Forrás:
Acta Cybernetica; Vol 24 No 3 (2020): Special Issue of the 11th Summer Workshop on Interval Methods; 269-285
2676-993X
0324-721X
Kapcsolat: